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	(=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2))
TernaryPredicate	The Class of Predicates that require exactly three arguments	subrelation	singleValued	(=> (instance ?REL TernaryPredicate) (valence ?REL 3))

Next Relation: VariableArityRelation    Up: Relation    Previous Relation: TemporalRelation