SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > holds
Next PredicateQuaternaryPredicate    UpPredicate, VariableArityRelation    Previous PredicateexhaustiveDecomposition   

holdsdocumentation (holds P N1 ... NK) is true just in case the tuple of objects denoted by N1,..., NK is an element of the Relation P2001-11-30 13:34:24.0
has domain1 Relation2001-11-30 13:34:24.0
is an instance of Predicate2001-11-30 13:34:25.0
is an instance of VariableArityRelation2001-11-30 13:34:25.0
Predicateis first domain of singleValued2001-11-30 13:35:02.0
VariableArityRelationhas axiom
(instance ?REL VariableArityRelation)
(exists (?INT)
(valence ?REL ?INT))))
2001-11-30 13:35:32.0
Relationis second domain of subrelation2001-11-30 13:35:10.0
Classis 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