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 contraryAttributeWRT 的 1 数量 是 属性instance
(domain contraryAttributeWRT 2 Attribute) ComputerInput.kif 18-18 contraryAttributeWRT 的 2 数量 是 属性instance
(domain contraryAttributeWRT 3 BinaryPredicate) ComputerInput.kif 19-19 contraryAttributeWRT 的 3 数量 是 二元谓语instance
(instance contraryAttributeWRT TernaryPredicate) ComputerInput.kif 16-16 contraryAttributeWRT三元谓语instance

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


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