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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PositionalAttribute

Sigma KEE - PositionalAttribute
PositionalAttribute

VerbNet: stop-55.4|terminate, stop-55.4|terminate, stop-55.4|terminate, contiguous_location-47.8|line, contiguous_location-47.8|rim, contiguous_location-47.8|line, spatial_configuration-47.6|squat, stop-55.4|terminate, contiguous_location-47.8|straddle, stop-55.4|terminate, carve-21.2|trench,


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 15795-15797
(subclass PositionalAttribute RelationalAttribute) Merge.kif 15794-15794 subclass PositionalAttribute and RelationalAttribute

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


(instance Above PositionalAttribute) Merge.kif 15870-15870 instance Above and PositionalAttribute
(instance Below PositionalAttribute) Merge.kif 15883-15883 instance Below and PositionalAttribute
(instance Downhill PositionalAttribute) Geography.kif 1656-1656 instance Downhill and PositionalAttribute
(instance Downstairs PositionalAttribute) Mid-level-ontology.kif 17069-17069 instance Downstairs and PositionalAttribute
(instance Downstream PositionalAttribute) Geography.kif 5136-5136 instance Downstream and PositionalAttribute
(instance Downwind PositionalAttribute) Weather.kif 268-268 instance Downwind and PositionalAttribute
(instance Horizontal PositionalAttribute) Merge.kif 15839-15839 instance Horizontal and PositionalAttribute
(instance Inside PositionalAttribute) Mid-level-ontology.kif 8817-8817 instance Inside and PositionalAttribute
(instance Left PositionalAttribute) Merge.kif 15908-15908 instance Left and PositionalAttribute
(instance Outside PositionalAttribute) Mid-level-ontology.kif 8836-8836 instance Outside and PositionalAttribute
(instance Right PositionalAttribute) Merge.kif 15915-15915 instance Right and PositionalAttribute
(instance RightAngle PositionalAttribute) Cars.kif 2236-2236 instance RightAngle and PositionalAttribute
(instance Surrounded PositionalAttribute) Mid-level-ontology.kif 24055-24055 instance Surrounded and PositionalAttribute
(instance Uphill PositionalAttribute) Geography.kif 1650-1650 instance Uphill and PositionalAttribute
(instance Upstairs PositionalAttribute) Mid-level-ontology.kif 17052-17052 instance Upstairs and PositionalAttribute
(instance Upstream PositionalAttribute) Geography.kif 5134-5134 instance Upstream and PositionalAttribute
(instance Upwind PositionalAttribute) Weather.kif 260-260 instance Upwind and PositionalAttribute
(instance Vertical PositionalAttribute) Merge.kif 15831-15831 instance Vertical and PositionalAttribute
(subclass AntiSymmetricPositionalAttribute PositionalAttribute) Merge.kif 15859-15859 subclass AntiSymmetricPositionalAttribute and PositionalAttribute
(subclass DirectionalAttribute PositionalAttribute) Merge.kif 15799-15799 subclass DirectionalAttribute and PositionalAttribute
(subclass RotationalAttribute PositionalAttribute) Cars.kif 4924-4924 subclass RotationalAttribute and PositionalAttribute
(subclass SymmetricPositionalAttribute PositionalAttribute) Merge.kif 15848-15848 subclass SymmetricPositionalAttribute and PositionalAttribute
(termFormat ChineseLanguage PositionalAttribute "位置属性") chinese_format.kif 1236-1236
(termFormat EnglishLanguage PositionalAttribute "positional attribute") english_format.kif 1698-1698

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


(domain direction 2 PositionalAttribute) Merge.kif 15738-15738 domain direction, 2 and PositionalAttribute
(domain oppositeDirection 1 PositionalAttribute) Mid-level-ontology.kif 15873-15873 domain oppositeDirection, 1 and PositionalAttribute
(domain oppositeDirection 2 PositionalAttribute) Mid-level-ontology.kif 15874-15874 domain oppositeDirection, 2 and PositionalAttribute
(domain orientation 3 PositionalAttribute) Merge.kif 15718-15718 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 15883-15888


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners