Select language: english
Concept:
English word:
Home

irreflexive relation (IrreflexiveRelation)

Relation rel is irreflexive if (rel inst inst) holds for no value of inst.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  binary relation  
is subclass of
  irreflexive relation  

Instance(s)

disjoint  successor attribute closure  front fn  back fn  sub collection  attribute  manner  less than  greater than  increases likelihood  decreases likelihood  in list  inhibits  prevents  sub proposition  sub plan  graph part  path length  larger  smaller  starts  finishes  before  during  earlier  meets spatially  overlaps partially  superficial part  interior part  sibling  connected engineering components  sub organizations  modal attribute 

Subclass(es)

asymmetric relation 

Coordinate term(s)

antisymmetric relation  binary predicate  intransitive relation  reflexive relation  symmetric relation  transitive relation  trichotomizing relation  unary function 

Axioms (1)

If is an instance of irreflexive relation, then for all holds: (,) doesn't hold. 
(=>
      (instance  irreflexive relation)
      (forall
            ()
            (not
                  (holds   ))))