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

RelazioneRiflessiva (ReflexiveRelation)

Relation rel is reflexive if (rel inst inst) for all inst.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

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

Instance(s)

partly located  sub graph  overlaps temporally  connected  overlaps spatially 

Subclass(es)

RelazioneDiOrdineParziale  RelazioneDiEquivalenza 

Coordinate term(s)

RelazioneAntisimmetrica  PredicatoBinario  RelazioneIntransitiva  RelazioneNonRiflessiva  RelazioneSimmetrica  RelazioneTransitiva  RelazioneTricotomizzante  FunzioneUnaria 

Axioms (1)

(=>
      (instance ?REL ReflexiveRelation)
      (=>
            (or
                  (holds ?REL ?INST1 ?INST2)
                  (holds ?REL ?INST2 ?INST1))
            (holds ?REL ?INST1 ?INST1)))