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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15785-15787
(subclass PositionalAttribute RelationalAttribute) Merge.kif 15784-15784 subclass PositionalAttribute and RelationalAttribute

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


(instance Above PositionalAttribute) Merge.kif 15860-15860 instance Above and PositionalAttribute
(instance Below PositionalAttribute) Merge.kif 15873-15873 instance Below and PositionalAttribute
(instance Downhill PositionalAttribute) Geography.kif 1656-1656 instance Downhill and PositionalAttribute
(instance Downstairs PositionalAttribute) Mid-level-ontology.kif 17017-17017 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 15829-15829 instance Horizontal and PositionalAttribute
(instance Inside PositionalAttribute) Mid-level-ontology.kif 8811-8811 instance Inside and PositionalAttribute
(instance Left PositionalAttribute) Merge.kif 15898-15898 instance Left and PositionalAttribute
(instance Outside PositionalAttribute) Mid-level-ontology.kif 8830-8830 instance Outside and PositionalAttribute
(instance Right PositionalAttribute) Merge.kif 15905-15905 instance Right and PositionalAttribute
(instance RightAngle PositionalAttribute) Cars.kif 2236-2236 instance RightAngle and PositionalAttribute
(instance Surrounded PositionalAttribute) Mid-level-ontology.kif 24003-24003 instance Surrounded and PositionalAttribute
(instance Uphill PositionalAttribute) Geography.kif 1650-1650 instance Uphill and PositionalAttribute
(instance Upstairs PositionalAttribute) Mid-level-ontology.kif 17000-17000 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 15821-15821 instance Vertical and PositionalAttribute
(subclass AntiSymmetricPositionalAttribute PositionalAttribute) Merge.kif 15849-15849 subclass AntiSymmetricPositionalAttribute and PositionalAttribute
(subclass DirectionalAttribute PositionalAttribute) Merge.kif 15789-15789 subclass DirectionalAttribute and PositionalAttribute
(subclass RotationalAttribute PositionalAttribute) Cars.kif 4924-4924 subclass RotationalAttribute and PositionalAttribute
(subclass SymmetricPositionalAttribute PositionalAttribute) Merge.kif 15838-15838 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 15728-15728 domain direction, 2 and PositionalAttribute
(domain oppositeDirection 1 PositionalAttribute) Mid-level-ontology.kif 15821-15821 domain oppositeDirection, 1 and PositionalAttribute
(domain oppositeDirection 2 PositionalAttribute) Mid-level-ontology.kif 15822-15822 domain oppositeDirection, 2 and PositionalAttribute
(domain orientation 3 PositionalAttribute) Merge.kif 15708-15708 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 15831-15836


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



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