TreeView Knowledge Base Browser - contraryAttributeWRT

appearance as argument number 1

(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
(domain contraryAttributeWRT 1 Attribute)	ComputerInput.kif 17-17	Le nombre 1 argument de contraryAttributeWRT est une instance de attribut
(domain contraryAttributeWRT 2 Attribute)	ComputerInput.kif 18-18	Le nombre 2 argument de contraryAttributeWRT est une instance de attribut
(domain contraryAttributeWRT 3 BinaryPredicate)	ComputerInput.kif 19-19	Le nombre 3 argument de contraryAttributeWRT est une instance de pr�dicat binaire
(instance contraryAttributeWRT TernaryPredicate)	ComputerInput.kif 16-16	contraryAttributeWRT est une instance de pr�dicat ternaire

appearance as argument number 2

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

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

Attribut est une instance de attribut attribut est une instance de attribut pr�dicat binaire est une sous-relation de attribute
~{ contraryAttributeWRT attribut, attribut and pr�dicat binaire } ~{ pr�dicat binaire entit� and attribut } ~{ pr�dicat binaire entit� and attribut }

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

KB Term:			Term intersection

English Word: