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

RelazioneAsimmetrica (AsymmetricRelation)

A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

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

Instance(s)

immediate instance  immediate subclass  range  range subclass  valence  documentation  successor attribute  front fn  back fn  proper part  member  contains information  attribute  manner  probability fn  in scope of interest  in list  closed on  reflexive on  irreflexive on  partial ordering on  total ordering on  trichotomizing on  equivalence relation on  causes  causes subclass  time  holds during  exploits  has purpose  has skill  holds right  holds obligation  crosses  penetrates  possesses  precondition  realization  expressed in language  uses  identity element  element  cardinality fn  graph part  path length  measure  duration  frequency  temporal part  meets temporally  date  surface  hole  principal host fn  partially fills  properly fills  completely fills  fills  skin fn  developmental form  inhabits  parent  authors  editor  publishes  version  citizen  modal attribute 

Subclass(es)

RuoloSemantico  AtteggiamentoProposizionale  AtteggiamentoOggettuale 

Coordinate term(s)

RelazioneDiOrdineParziale 

Axioms (1)

Se , allora rel é un' istanza di RelazioneAsimmetrica. 
(=>
      (and
            (instance ?REL BinaryRelation)
            (or
                  (domain ?REL 1 ?CLASS1)
                  (domainSubclass ?REL 1 ?CLASS1))
            (or
                  (domain ?REL 2 ?CLASS2)
                  (domainSubclass ?REL 2 ?CLASS2)
                  (range ?REL ?CLASS2)
                  (rangeSubclass ?REL ?CLASS2))
            (disjoint ?CLASS1 ?CLASS2))
      (instance ?REL AsymmetricRelation))