Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

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.

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

třída
is instance of
  inheritable relation  

Instance(s)

relace s jedinou hodnotou  binární relace  case role  pravděpodobnostní relace  prostorová relace  časová relace  intentional relation  postoj k tvrzení  postoj k objektu  terciální relace  relace se čtyřmi argumenty  relace s pěti argumenty  predikát  funkce  unární funkce  binární funkce  funkce se třemi argumenty  funkce se čtyřmi argumenty  binární predikát  predikát se třemi argumenty  predikát se čtyřmi argumenty  predikát s pěti argumenty  relace rozšířená na veličiny 

Axiomy (1)

Jestliže pred1 je a subrelation of pred2 a pred2 je instancí třídy class a class je instancí třídy inheritable relation, potom pred1 je instancí třídy class. 
(=>
      (and
            (subrelation ?PRED1 ?PRED2)
            (instance ?PRED2 ?CLASS)
            (instance ?CLASS InheritableRelation))
      (instance ?PRED1 ?CLASS))