SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > QuaternaryRelation
Next RelationQuintaryRelation    UpRelation    Previous RelationProbabilityRelation   

QuaternaryRelation
subjectfact 
QuaternaryRelationdocumentation QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are QuaternaryPredicate and TernaryFunction2001-11-30 13:35:07.0
is a kind of Relation2001-11-30 13:35:07.0
Relationis first domain of domain2001-11-30 13:35:10.0
is first domain of domainSubclass2001-11-30 13:35:10.0
is first domain of holds2001-11-30 13:35:10.0
is first domain of subrelation2001-11-30 13:35:10.0
is first domain of valence2001-11-30 13:35:10.0
is second domain of subrelation2001-11-30 13:35:10.0
Classhas axiom
(<=> 
(instance ?CLASS Class)
(subclass ?CLASS Entity))
2001-11-30 13:33:50.0
has axiom
(forall (?INT) (domain disjointDecomposition ?INT Class))
2001-11-30 13:33:50.0
has axiom
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
2001-11-30 13:33:50.0
is third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Kinds of QuaternaryRelation :