SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > refers
Next BinaryPredicatereflexiveOn    UpBinaryPredicate    Previous BinaryPredicaterangeSubclass   

refers
subjectfact 
refersdocumentation (refers ?OBJ1 ?OBJ2) means that ?OBJ1 mentions or includes a reference to ?OBJ2. Note that refers is more general in meaning than represents, because presumably something can represent something else only if it refers to this other thing. For example, an article whose topic is a recent change in the price of oil may refer to many other things, e.g. the general state of the economy, the weather in California, the prospect of global warming, the options for alternative energy sources, the stock prices of various oil companies, etc2001-11-30 13:35:09.0
has domain1 Physical2001-11-30 13:35:09.0
has domain2 Entity2001-11-30 13:35:09.0
is an instance of BinaryPredicate2001-11-30 13:35:09.0
BinaryPredicatehas axiom
(=>
(instance ?REL BinaryPredicate)
(valence ?REL 2))
2001-11-30 13:33:44.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
is second domain of inverse2001-11-30 13:33:44.0
Predicateis first domain of singleValued2001-11-30 13:35:02.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

Next BinaryPredicatereflexiveOn    UpBinaryPredicate    Previous BinaryPredicaterangeSubclass