SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > TernaryRelation |
TernaryRelation comparison table |
Subject | documentation | be second domain of | be first domain of | have axiom |
---|---|---|---|---|
BinaryFunction | The Class of Functions that require two arguments | distributes | identityElement | (=> |
TernaryPredicate | The Class of Predicates that require exactly three arguments | subrelation | singleValued | (=> |
Next Relation: VariableArityRelation Up: Relation Previous Relation: TemporalRelation