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

Formal Language: 



KB Term:  Term intersection
English Word: 

  contraryAttributeWRT

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 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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