SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > QuintaryRelation

QuintaryRelation
subject			fact

QuintaryRelation	documentation QuintaryRelations relate five items. The two subclasses of QuintaryRelation are QuintaryPredicate and QuaternaryFunction
	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 QuintaryRelation :

• QuintaryPredicate (4 facts) - The Class of Predicates that require five arguments