TreeView Knowledge Base Browser - contraryAttributeWRT

appearance as argument number 1

(instance contraryAttributeWRT TernaryPredicate)	ComputerInput.kif 16-16	contrary attribute WRT is an instance of ternary predicate
(domain contraryAttributeWRT 1 Attribute)	ComputerInput.kif 17-17	The number 1 argument of contrary attribute WRT is an instance of attribute
(domain contraryAttributeWRT 2 Attribute)	ComputerInput.kif 18-18	The number 2 argument of contrary attribute WRT is an instance of attribute
(domain contraryAttributeWRT 3 BinaryPredicate)	ComputerInput.kif 19-19	The number 3 argument of contrary attribute WRT is an instance of binary predicate
(documentation contraryAttributeWRT EnglishLanguage "(contraryAttributeWRT ?ATT1 ?ATT2 ?ATTPRED) means that nothing can have both attributes at the same time using the attribute predicate ?ATTPRED.")	ComputerInput.kif 20-21	The number 3 argument of contrary attribute WRT is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage contraryAttributeWRT "%1 and %2 are mutually exclusive for %3")	domainEnglishFormat.kif 3108-3108
(format ChineseTraditionalLanguage contraryAttributeWRT "%1 和 %2 是對於 %3 的 mutually exclusive ")	domainEnglishFormat.kif 3109-3109
(format ChineseLanguage contraryAttributeWRT "%1 和 %2 是对于 %3 的 mutually exclusive ")	domainEnglishFormat.kif 3110-3110
(termFormat EnglishLanguage contraryAttributeWRT "contrary attribute WRT")	domainEnglishFormat.kif 65808-65808

consequent

(=>
    (and
        (instance ?ATT1 Attribute)
        (instance ?ATT2 Attribute)
        (subrelation ?PRED attribute))
    (not
        (and
            (contraryAttributeWRT ?ATT1 ?ATT2 ?PRED)
            (?PRED ?ENTITY ?ATT1)
            (?PRED ?ENTITY ?ATT2))))

ComputerInput.kif 43-52

If X is an instance of attribute, Y is an instance of attribute, and Z is a subrelation of attribute, then At least one of the following holds: (1) ~{ X and Y are mutually exclusive for Z } (2) ~{ Z W and X } (3) ~{ Z W and Y }

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: