Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| greaterThanByQuality |
| appearance as argument number 1 |
|
| (instance greaterThanByQuality TernaryPredicate) | Merge.kif 735-735 | greater than by quality is an instance of ternary predicate |
| (documentation greaterThanByQuality EnglishLanguage "(greaterThanByQuality ?ENTITY1 ?ENTITY2 ?ATT) means that ?ENTITY1 has more of the given quality ?ATT than ?ENTITY2.") | Merge.kif 737-739 | greater than by quality is an instance of ternary predicate |
| (domain greaterThanByQuality 1 Entity) | Merge.kif 741-741 | The number 1 argument of greater than by quality is an instance of entity |
| (domain greaterThanByQuality 2 Entity) | Merge.kif 742-742 | The number 2 argument of greater than by quality is an instance of entity |
| (domain greaterThanByQuality 3 Attribute) | Merge.kif 743-743 | The number 3 argument of greater than by quality is an instance of attribute |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage greaterThanByQuality "%1 has more %3 than %2") | domainEnglishFormat.kif 3546-3546 | |
| (format ChineseTraditionalLanguage greaterThanByQuality "%1 有 more %3 比 %2 ") | domainEnglishFormat.kif 3547-3547 | |
| (format ChineseLanguage greaterThanByQuality "%1 有 more %3 比 %2 ") | domainEnglishFormat.kif 3548-3548 | |
| (termFormat EnglishLanguage greaterThanByQuality "greater than by quality") | domainEnglishFormat.kif 65855-65855 |
| antecedent |
|
|
| (=> (and (greaterThanByQuality ?E1 ?E2 ?ATT) (greaterThanByQuality ?E2 ?E3 ?ATT)) (greaterThanByQuality ?E1 ?E3 ?ATT)) |
Merge.kif 745-749 | If X has more Y than Z and Z has more Y than W, then X has more Y than W |
| (=> (greaterThanByQuality ?E1 ?E2 ?ATT) (not (greaterThanByQuality ?E2 ?E1 ?ATT))) |
Merge.kif 751-754 | If X has more Y than Z, then Z has more Y than X |
| (=> (greaterThanByQuality ?E1 ?E2 ?ATT) (not (equal ?E2 ?E1))) |
Merge.kif 756-759 | If X has more Y than Z, then equal Z and X |
| consequent |
|
|
| (=> (and (greaterThanByQuality ?E1 ?E2 ?ATT) (greaterThanByQuality ?E2 ?E3 ?ATT)) (greaterThanByQuality ?E1 ?E3 ?ATT)) |
Merge.kif 745-749 | If X has more Y than Z and Z has more Y than W, then X has more Y than W |
| (=> (greaterThanByQuality ?E1 ?E2 ?ATT) (not (greaterThanByQuality ?E2 ?E1 ?ATT))) |
Merge.kif 751-754 | If X has more Y than Z, then Z has more Y than X |
|