SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > TernaryRelation

TernaryRelation
subject			fact

TernaryRelation	documentation TernaryRelations relate three items. The two subclasses of TernaryRelation are TernaryPredicate and BinaryFunction
	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 TernaryRelation :

• BinaryFunction (27 kinds, 313 facts) - The Class of Functions that require two arguments
• TernaryPredicate (14 kinds, 121 facts) - The Class of Predicates that require exactly three arguments