AntiSymmetricPositionalAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AntiSymmetricPositionalAttribute ChineseLanguage "AntiSymmetricPositionalAttribute 属于 PositionalAttribute 的类别，它只能在一个方向适用，即是两个物件不能同时在彼此的 On 方。")	chinese_format.kif 3814-3816
(documentation AntiSymmetricPositionalAttribute EnglishLanguage "AntiSymmetricPositionalAttribute is the class of PositionalAttribute that hold in only one direction. I.e. two objects cannot simulataneously be On each other.")	Merge.kif 17061-17063
(subclass AntiSymmetricPositionalAttribute PositionalAttribute)	Merge.kif 17060-17060	AntiSymmetricPositionalAttribute ist eine teilkategorie von PositionalAttribute

appearance as argument number 2

(instance Above AntiSymmetricPositionalAttribute)	Merge.kif 17072-17072	Above ist ein fall von AntiSymmetricPositionalAttribute %n{nicht}
(instance Below AntiSymmetricPositionalAttribute)	Merge.kif 17085-17085	Below ist ein fall von AntiSymmetricPositionalAttribute %n{nicht}
(instance Left AntiSymmetricPositionalAttribute)	Merge.kif 17110-17110	Left ist ein fall von AntiSymmetricPositionalAttribute %n{nicht}
(instance On AntiSymmetricPositionalAttribute)	Merge.kif 17141-17141	On ist ein fall von AntiSymmetricPositionalAttribute %n{nicht}
(instance Right AntiSymmetricPositionalAttribute)	Merge.kif 17117-17117	Right ist ein fall von AntiSymmetricPositionalAttribute %n{nicht}
(termFormat EnglishLanguage AntiSymmetricPositionalAttribute "anti-symmetric positional attribute")	domainEnglishFormat.kif 64448-64448

appearance as argument number 3

(domain BodySideFn 1 AntiSymmetricPositionalAttribute)

Merge.kif 14971-14971

Die Zahl 1 Argument von BodySideFn ist ein fall von AntiSymmetricPositionalAttribute %n{nicht}

antecedent

(=>
    (and
        (instance ?P AntiSymmetricPositionalAttribute)
        (orientation ?O1 ?O2 ?P))
    (not
        (orientation ?O2 ?O1 ?P)))

Merge.kif 17065-17069