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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SymmetricPositionalAttribute

Sigma KEE - SymmetricPositionalAttribute
SymmetricPositionalAttribute(symmetric positional attribute)

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


(documentation SymmetricPositionalAttribute ChineseLanguage "SymmetricAttribute 属于 PositionalAttribute 的类别,它适用于两样东西的位置,而并不管它们之间的顺序或方向。") chinese_format.kif 3812-3813
(documentation SymmetricPositionalAttribute EnglishLanguage "SymmetricAttribute is the class of PositionalAttribute that hold between two items regardless of their order or orientation.") Merge.kif 17050-17052
(subclass SymmetricPositionalAttribute PositionalAttribute) Merge.kif 17049-17049 Symmetric positional attribute is a subclass of positional attribute

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


(instance Adjacent SymmetricPositionalAttribute) Merge.kif 17097-17097 Adjacent is an instance of symmetric positional attribute
(instance Near SymmetricPositionalAttribute) Merge.kif 17128-17128 Near is an instance of symmetric positional attribute
(termFormat EnglishLanguage SymmetricPositionalAttribute "symmetric positional attribute") domainEnglishFormat.kif 65571-65571

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


(=>
    (and
        (instance ?P SymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (orientation ?O2 ?O1 ?P))
Merge.kif 17054-17058


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