SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > closedOn
Next AsymmetricRelationcontains    UpAsymmetricRelation, BinaryPredicate    Previous AsymmetricRelationcitizen   

closedOn comparison table
Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of
AsymmetricRelation  trichotomizingOnA BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation
(instance ?REL IrreflexiveRelation)
(forall (?INST)
(holds ?REL ?INST ?INST))))
BinaryPredicate  singleValuedA Predicate relating two items - its valence is two
(instance ?REL BinaryPredicate)
(valence ?REL 2))
closedOnClassFunctionsingleValuedA BinaryFunction is closed on a Class if it is defined for all instances of the Class and its value is always an instance of the Class
(instance ?FUNCTION BinaryFunction))
(forall (?INST1 ?INST2)
(instance ?INST1 ?CLASS)
(instance ?INST2 ?CLASS))
(instance (AssignmentFn ?FUNCTION ?INST1 ?INST2) ?CLASS))))

Next AsymmetricRelationcontains    UpAsymmetricRelation, BinaryPredicate    Previous AsymmetricRelationcitizen