SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > copy
Next BinaryPredicatedate    UpBinaryPredicate, EquivalenceRelation    Previous BinaryPredicatecooccur   

copy comparison table
Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of
BinaryPredicate  singleValuedA Predicate relating two items - its valence is two
(=>
(instance ?REL BinaryPredicate)
(valence ?REL 2))
Predicate 
EquivalenceRelation  trichotomizingOnA BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation
(=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
TransitiveRelation 
copyObjectObjectsingleValuedrelates an Object to an exact copy of the Object, where an exact copy is indistinguishable from the original with regard to every property except (possibly) spatial and/or temporal location
(=>
(copy ?OBJ1 ?OBJ2)
(forall (?ATTR)
(=>
(attribute ?OBJ1 ?ATTR)
(attribute ?OBJ2 ?ATTR))))
 EquivalenceRelation

Next BinaryPredicatedate    UpBinaryPredicate, EquivalenceRelation    Previous BinaryPredicatecooccur