SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > holds
Next Predicate: QuaternaryPredicate    Up: Predicate, VariableArityRelation    Previous Predicate: exhaustiveDecomposition   

holds comparison table
Subject have domain1 be first domain of documentation have axiom is a kind of is an instance of
Predicate singleValuedA Predicate is a sentence-forming Relation. Each tuple in the Relation is a finite, ordered sequence of objects. The fact that a particular tuple is an element of a Predicate is denoted by '(*predicate* arg_1 arg_2 .. arg_n)', where the arg_i are the objects so related. In the case of BinaryPredicates, the fact can be read as `arg_1 is *predicate* arg_2' or `a *predicate* of arg_1 is arg_2'
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
Relation 
VariableArityRelation valenceThe Class of Relations that do not have a fixed number of arguments
(=>
         (instance ?REL VariableArityRelation)
         (not
            (exists (?INT)
               (valence ?REL ?INT))))
Relation 
holdsRelationsingleValued(holds P N1 ... NK) is true just in case the tuple of objects denoted by N1,..., NK is an element of the Relation P
(=>
         (instance ?REL VariableArityRelation)
         (not
            (exists (?INT)
               (valence ?REL ?INT))))
 VariableArityRelation

Next Predicate: QuaternaryPredicate    Up: Predicate, VariableArityRelation    Previous Predicate: exhaustiveDecomposition