SymmetricPositionalAttribute |
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 17072-17074 | |
(subclass SymmetricPositionalAttribute PositionalAttribute) | Merge.kif 17071-17071 |
appearance as argument number 2 |
(instance Adjacent SymmetricPositionalAttribute) | Merge.kif 17119-17119 | |
(instance Near SymmetricPositionalAttribute) | Merge.kif 17150-17150 | |
(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 17076-17080 |