SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > QuaternaryRelation

QuaternaryRelation
subject			fact

QuaternaryRelation	documentation QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are QuaternaryPredicate and TernaryFunction
	is a kind of Relation
Relation	is first domain of domain
	is first domain of domainSubclass
	is first domain of holds
	is first domain of subrelation
	is first domain of valence
	is second domain of subrelation
Class	has axiom (<=> (instance ?CLASS Class) (subclass ?CLASS Entity))
	has axiom (forall (?INT) (domain disjointDecomposition ?INT Class))
	has axiom (forall (?INT) (domain exhaustiveDecomposition ?INT Class))
	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

Kinds of QuaternaryRelation :

• QuaternaryPredicate (4 facts) - The Class of Predicates that require four arguments
• TernaryFunction (6 facts) - The Class of Functions that require exactly three arguments