| 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 contrary attribute WRT is an instance of attribute |
| (domain contraryAttributeWRT 2 Attribute) | ComputerInput.kif 18-18 | The number 2 argument of contrary attribute WRT is an instance of attribute |
| (domain contraryAttributeWRT 3 BinaryPredicate) | ComputerInput.kif 19-19 | The number 3 argument of contrary attribute WRT is an instance of binary predicate |
| (instance contraryAttributeWRT TernaryPredicate) | ComputerInput.kif 16-16 | contrary attribute WRT is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage contraryAttributeWRT "%1 和 %2 是对于 %3 的 mutually exclusive ") | domainEnglishFormat.kif 3106-3106 | |
| (format ChineseTraditionalLanguage contraryAttributeWRT "%1 和 %2 是對於 %3 的 mutually exclusive ") | domainEnglishFormat.kif 3105-3105 | |
| (format EnglishLanguage contraryAttributeWRT "%1 and %2 are mutually exclusive for %3") | domainEnglishFormat.kif 3104-3104 | |
| (termFormat EnglishLanguage contraryAttributeWRT "contrary attribute WRT") | domainEnglishFormat.kif 65848-65848 |
| 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