PositionalAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PositionalAttribute ChineseLanguage "这是表示一个 Object 的方向的 Attribute，例如： Vertical 相对 Horizontal，Left 对 Right 如此类推。")	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 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

KB Term:			Term intersection

English Word: