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

Formal Language: 

KB Term:  Term intersection
English Word: 

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

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


        (instance ?ATT1 Attribute)
        (instance ?ATT2 Attribute)
        (subrelation ?PRED attribute))
            (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