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	Die Zahl 1 Argument von contraryAttributeWRT ist ein fall von Attribute %n{nicht}
(domain contraryAttributeWRT 2 Attribute)	ComputerInput.kif 18-18	Die Zahl 2 Argument von contraryAttributeWRT ist ein fall von Attribute %n{nicht}
(domain contraryAttributeWRT 3 BinaryPredicate)	ComputerInput.kif 19-19	Die Zahl 3 Argument von contraryAttributeWRT ist ein fall von BinaryPredicate %n{nicht}
(instance contraryAttributeWRT TernaryPredicate)	ComputerInput.kif 16-16	contraryAttributeWRT ist ein fall von TernaryPredicate %n{nicht}

appearance as argument number 2

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

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

Wenn Attribute ist ein fall von Attribute %n{nicht} und ** Attribute ist ein fall von Attribute %n{nicht} und BinaryPredicate ist eine teilrelation von attribut,
dann ~{ contraryAttributeWRT ** Attribute, ** ** Attribute and ** BinaryPredicate } oder ~{ ** BinaryPredicate entity and ** Attribute } oder ~{ ** BinaryPredicate ** entity and ** ** Attribute }

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

KB Term:			Term intersection

English Word: