SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > QuaternaryRelation

QuaternaryRelation comparison table

Subject	documentation	be first domain of	have axiom
QuaternaryPredicate	The Class of Predicates that require four arguments	singleValued	(=> (instance ?REL QuaternaryPredicate) (valence ?REL 4))
TernaryFunction	The Class of Functions that require exactly three arguments	rangeSubclass	(=> (instance ?FUNCTION TernaryFunction) (valence ?FUNCTION 3))

Next Relation: QuintaryRelation    Up: Relation    Previous Relation: ProbabilityRelation