AntiSymmetricPositionalAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AntiSymmetricPositionalAttribute PositionalAttribute)	Merge.kif 17414-17414	Anti_symmetric positional attribute is a subclass of positional attribute
(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 17415-17417	Anti_symmetric positional attribute is a subclass of positional attribute

appearance as argument number 2

(instance Above AntiSymmetricPositionalAttribute)	Merge.kif 17426-17426	Above is an instance of anti_symmetric positional attribute
(instance Below AntiSymmetricPositionalAttribute)	Merge.kif 17439-17439	Below is an instance of anti_symmetric positional attribute
(instance Left AntiSymmetricPositionalAttribute)	Merge.kif 17464-17464	Left of is an instance of anti_symmetric positional attribute
(instance Right AntiSymmetricPositionalAttribute)	Merge.kif 17471-17471	Right of is an instance of anti_symmetric positional attribute
(instance On AntiSymmetricPositionalAttribute)	Merge.kif 17495-17495	On is an instance of anti_symmetric positional attribute
(termFormat EnglishLanguage AntiSymmetricPositionalAttribute "anti_symmetric positional attribute")	domainEnglishFormat.kif 64451-64451	On is an instance of anti_symmetric positional attribute

appearance as argument number 3

(domain BodySideFn 1 AntiSymmetricPositionalAttribute)

antecedent

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