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

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)

class
is instance of
  inheritable relation  

Instance(s)

single valued relation  binary relation  case role  probability relation  spatial relation  temporal relation  intentional relation  propositional attitude  object attitude  ternary relation  quaternary relation  quintary relation  predicate  function  unary function  binary function  ternary function  quaternary function  binary predicate  ternary predicate  quaternary predicate  quintary predicate  relation extended to quantities 

Axioms (1)

If pred1 is a subrelation of pred2 and pred2 is an instance of class and class is an instance of inheritable relation, then pred1 is an instance of class. 
(=>
      (and
            (subrelation ?PRED1 ?PRED2)
            (instance ?PRED2 ?CLASS)
            (instance ?CLASS InheritableRelation))
      (instance ?PRED1 ?CLASS))