SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate
Next RelationProbabilityRelation    UpRelation    Previous RelationFunction   

Predicatedocumentation A 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'2001-11-30 13:35:02.0
is first domain of singleValued2001-11-30 13:35:02.0
is a kind of Relation2001-11-30 13:35:02.0
Relationis 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 Predicate :