Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| contraryAttributeWRT |
| appearance as argument number 1 |
|
| (instance contraryAttributeWRT TernaryPredicate) | ComputerInput.kif 16-16 | contrary attribute WRT is an instance of ternary predicate |
| (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 |
| (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 | The number 3 argument of contrary attribute WRT is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage contraryAttributeWRT "%1 and %2 are mutually exclusive for %3") | domainEnglishFormat.kif 3108-3108 | |
| (format ChineseTraditionalLanguage contraryAttributeWRT "%1 和 %2 是對於 %3 的 mutually exclusive ") | domainEnglishFormat.kif 3109-3109 | |
| (format ChineseLanguage contraryAttributeWRT "%1 和 %2 是对于 %3 的 mutually exclusive ") | domainEnglishFormat.kif 3110-3110 | |
| (termFormat EnglishLanguage contraryAttributeWRT "contrary attribute WRT") | domainEnglishFormat.kif 65808-65808 |
| 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 | If X is an instance of attribute, Y is an instance of attribute, and Z is a subrelation of attribute, then At least one of the following holds: (1) ~{ X and Y are mutually exclusive for Z } (2) ~{ Z W and X } (3) ~{ Z W and Y } |
|