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
(domain contraryAttributeWRT 2 Attribute) ComputerInput.kif 18-18
(domain contraryAttributeWRT 3 BinaryPredicate) ComputerInput.kif 19-19
(instance contraryAttributeWRT TernaryPredicate) ComputerInput.kif 16-16

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 65895-65895

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