Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PositionalAttribute

Sigma KEE - PositionalAttribute
PositionalAttribute

appearance as argument number 1
-------------------------


(documentation PositionalAttribute ChineseLanguage "这是表示一个 Object 的方向的 Attribute,例如: Vertical 相对 HorizontalLeftRight 如此类推。") chinese_format.kif 3800-3801
(documentation PositionalAttribute EnglishLanguage "Attributes characterizing the orientation of an Object, e.g. Vertical versus Horizontal, Left versus Right etc.") Merge.kif 16715-16717
(subclass PositionalAttribute RelationalAttribute) Merge.kif 16714-16714 subclass PositionalAttribute and RelationalAttribute

appearance as argument number 2
-------------------------


(instance Above PositionalAttribute) Merge.kif 16790-16790 instance Above and PositionalAttribute
(instance Below PositionalAttribute) Merge.kif 16803-16803 instance Below and PositionalAttribute
(instance Downhill PositionalAttribute) Geography.kif 1706-1706 instance Downhill and PositionalAttribute
(instance Downstairs PositionalAttribute) Mid-level-ontology.kif 18584-18584 instance Downstairs and PositionalAttribute
(instance Downstream PositionalAttribute) Geography.kif 5357-5357 instance Downstream and PositionalAttribute
(instance Downwind PositionalAttribute) Weather.kif 281-281 instance Downwind and PositionalAttribute
(instance Horizontal PositionalAttribute) Merge.kif 16759-16759 instance Horizontal and PositionalAttribute
(instance Inside PositionalAttribute) Mid-level-ontology.kif 8692-8692 instance Inside and PositionalAttribute
(instance Left PositionalAttribute) Merge.kif 16828-16828 instance Left and PositionalAttribute
(instance Outside PositionalAttribute) Mid-level-ontology.kif 8708-8708 instance Outside and PositionalAttribute
(instance Right PositionalAttribute) Merge.kif 16835-16835 instance Right and PositionalAttribute
(instance RightAngle PositionalAttribute) Cars.kif 2249-2249 instance RightAngle and PositionalAttribute
(instance Surrounded PositionalAttribute) Mid-level-ontology.kif 25371-25371 instance Surrounded and PositionalAttribute
(instance Uphill PositionalAttribute) Geography.kif 1700-1700 instance Uphill and PositionalAttribute
(instance Upstairs PositionalAttribute) Mid-level-ontology.kif 18567-18567 instance Upstairs and PositionalAttribute
(instance Upstream PositionalAttribute) Geography.kif 5355-5355 instance Upstream and PositionalAttribute
(instance Upwind PositionalAttribute) Weather.kif 273-273 instance Upwind and PositionalAttribute
(instance Vertical PositionalAttribute) Merge.kif 16751-16751 instance Vertical and PositionalAttribute
(subclass AntiSymmetricPositionalAttribute PositionalAttribute) Merge.kif 16779-16779 subclass AntiSymmetricPositionalAttribute and PositionalAttribute
(subclass DirectionalAttribute PositionalAttribute) Merge.kif 16719-16719 subclass DirectionalAttribute and PositionalAttribute
(subclass RotationalAttribute PositionalAttribute) Cars.kif 4947-4947 subclass RotationalAttribute and PositionalAttribute
(subclass SymmetricPositionalAttribute PositionalAttribute) Merge.kif 16768-16768 subclass SymmetricPositionalAttribute and PositionalAttribute
(termFormat ChineseLanguage PositionalAttribute "位置属性") chinese_format.kif 1236-1236
(termFormat EnglishLanguage PositionalAttribute "positional attribute") english_format.kif 1693-1693

appearance as argument number 3
-------------------------


(domain direction 2 PositionalAttribute) Merge.kif 16658-16658 domain direction, 2 and PositionalAttribute
(domain oppositeDirection 1 PositionalAttribute) Mid-level-ontology.kif 17511-17511 domain oppositeDirection, 1 and PositionalAttribute
(domain oppositeDirection 2 PositionalAttribute) Mid-level-ontology.kif 17512-17512 domain oppositeDirection, 2 and PositionalAttribute
(domain orientation 3 PositionalAttribute) Merge.kif 16632-16632 domain orientation, 3 and PositionalAttribute

antecedent
-------------------------


(=>
    (and
        (orientation ?OBJ1 ?OBJ2 ?DIR)
        (instance ?DIR PositionalAttribute)
        (oppositeDirection ?DIR ?OPPDIR))
    (orientation ?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 17521-17526


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners