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)

eka mUlyaadeya sambandha dvi-aadhaarI sambandha vibhakti bhUmikaa sambhaavanaa sambandha sthaana sambandha saamayika sambandha intentional relation prastaavaatmak abhivQtti vastu abhivQtti tri-angI sambandha chaturangI sambandha panchaangI sambandha vidheya prakaarya ekaadhaary prakaarya dvi-aadhaary prakaarya tri-angI prakaarya chaturangI prakaarya dvi-lakshana triangii lakshana caturangii pakshana pancha lakshana matraaon kaa sanbandha vistaara

Axioms (1)

Agar pred1 is a subrelation of pred2 aur pred2 is an instance of class aur class is an instance of inheritable relation, to pred1 is an instance of class.

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