Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - contraryAttributeWRT
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 The number 1 argument of contraryAttributeWRT is an instance of attribute
(domain contraryAttributeWRT 2 Attribute) ComputerInput.kif 18-18 The number 2 argument of contraryAttributeWRT is an instance of attribute
(domain contraryAttributeWRT 3 BinaryPredicate) ComputerInput.kif 19-19 The number 3 argument of contraryAttributeWRT is an instance of binary predicate
(instance contraryAttributeWRT TernaryPredicate) ComputerInput.kif 16-16 contraryAttributeWRT is an instance of ternary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage contraryAttributeWRT "%1 和 %2 是对于 %3 的 mutually exclusive ") domainEnglishFormat.kif 3119-3119
(format ChineseTraditionalLanguage contraryAttributeWRT "%1 和 %2 是對於 %3 的 mutually exclusive ") domainEnglishFormat.kif 3118-3118
(format EnglishLanguage contraryAttributeWRT "%1 and %2 are mutually exclusive for %3") domainEnglishFormat.kif 3117-3117

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


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners