可繼承關係 (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)

種類

可繼承關係

Instance(s)

單值關係二元關係格位角色或然率關係空間關係時間關係意圖關係命題態度受事導向（歷程）三元關係四元關係五元關係述詞函數一元函數二元函數三元函數四元函數二元述詞三元述詞四元述詞五元述詞與量關係

Axioms (1)

If pred1 是 pred2 的次關係 and pred2 是 class 的實例 and class 是可繼承關係的實例, then pred1 是 class 的實例.

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