AntiSymmetricPositionalAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AntiSymmetricPositionalAttribute ChineseLanguage "AntiSymmetricPositionalAttribute 属于 PositionalAttribute 的类别，它只能在一个方向适用，即是两个物件不能同时在彼此的 On 方。")	Merge.kif 17401-17403
(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 17398-17400
(subclass AntiSymmetricPositionalAttribute PositionalAttribute)	Merge.kif 17397-17397	AntiSymmetricPositionalAttribute is a subclass of positional attribute

appearance as argument number 2

(instance Above AntiSymmetricPositionalAttribute)	Merge.kif 17412-17412	Above is an instance of AntiSymmetricPositionalAttribute
(instance Below AntiSymmetricPositionalAttribute)	Merge.kif 17427-17427	Below is an instance of AntiSymmetricPositionalAttribute
(instance Left AntiSymmetricPositionalAttribute)	Merge.kif 17457-17457	Left is an instance of AntiSymmetricPositionalAttribute
(instance On AntiSymmetricPositionalAttribute)	Merge.kif 17494-17494	On is an instance of AntiSymmetricPositionalAttribute
(instance Right AntiSymmetricPositionalAttribute)	Merge.kif 17466-17466	Right is an instance of AntiSymmetricPositionalAttribute

antecedent

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

Merge.kif 17405-17409