Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

inheritable relation (InheritableRelation)

This is a Class of Classes. Each instance of InheritableRelation is a subclass of Relation whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

is instance of

inheritable relation

Instance(s)

RelazioneMonovalente RelazioneBinaria RuoloSemantico RelazioneDiProbabilitá RelazioneSpaziale RelazioneTemporale intentional relation AtteggiamentoProposizionale AtteggiamentoOggettuale RelazioneTernaria RelazioneQuaternaria RelazioneQuinquenaria Predicato Funzione FunzioneUnaria FunzioneBinaria FunzioneTernaria FunzioneQuaternaria PredicatoBinario PredicatoTernario PredicatoQuaternario PredicatoQuinquenario RelazioneEstesaAQuantitá

Axioms (1)

Se pred1 é una sottorelazione di pred2 e pred2 é un' istanza di class e class é un' istanza di inheritable relation, allora pred1 é un' istanza di class.

(=>
      (and
            (subrelation ?PRED1 ?PRED2)
            (instance ?PRED2 ?CLASS)
            (instance ?CLASS InheritableRelation))
      (instance ?PRED1 ?CLASS))