Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

RelazioneNonRiflessiva (IrreflexiveRelation)

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

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Relazione  
is subclass of
  RelazioneBinaria  
is subclass of
  RelazioneNonRiflessiva  

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)

RelazioneAsimmetrica 

Coordinate term(s)

RelazioneAntisimmetrica  PredicatoBinario  RelazioneIntransitiva  RelazioneRiflessiva  RelazioneSimmetrica  RelazioneTransitiva  RelazioneTricotomizzante  FunzioneUnaria 

Axioms (1)

Se rel é un' istanza di RelazioneNonRiflessiva, allora per ogni inst vale: rel(inst,inst non vale. 
(=>
      (instance ?REL IrreflexiveRelation)
      (forall
            (?INST)
            (not
                  (holds ?REL ?INST ?INST))))