greaterThanByQuality |
appearance as argument number 1 |
(documentation greaterThanByQuality ChineseLanguage "(greaterThanByQuality ?ENTITY1 ?ENTITY2 ?ATT) 的意思是 ?ENTITY1 既定的 ?ATT 量比 ?ENTITY2 的多。") | chinese_format.kif 1541-1542 | |
(documentation greaterThanByQuality EnglishLanguage "(greaterThanByQuality ?ENTITY1 ?ENTITY2 ?ATT) means that ?ENTITY1 has more of the given quality ?ATT than ?ENTITY2.") | Merge.kif 745-747 | |
(documentation greaterThanByQuality JapaneseLanguage "(greaterThanByQuality ?ENTITY1 ?ENTITY2 ?ATT) とは、?ENTITY1が?ENTITY2よりも与えられた品質?ATTがより多くある、という 意味である。") | japanese_format.kif 107-109 | |
(documentation greaterThanByQuality SpanishLanguage "(greaterThanByQuality ?ENTITY1 ?ENTITY2 ?ATT) significa que ?ENTITY1 tiene más de la cualidad dada ?ATT que ?ENTITY2.") | spanish_format.kif 125-127 | |
(domain greaterThanByQuality 1 Entity) | Merge.kif 749-749 | greaterThanByQuality 的 1 数量 是 实体 的 instance |
(domain greaterThanByQuality 2 Entity) | Merge.kif 750-750 | greaterThanByQuality 的 2 数量 是 实体 的 instance |
(domain greaterThanByQuality 3 Attribute) | Merge.kif 751-751 | greaterThanByQuality 的 3 数量 是 属性 的 instance |
(instance greaterThanByQuality TernaryPredicate) | Merge.kif 743-743 | greaterThanByQuality 是 三元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage greaterThanByQuality "%1 有 more %3 比 %2 ") | domainEnglishFormat.kif 3550-3550 | |
(format ChineseTraditionalLanguage greaterThanByQuality "%1 有 more %3 比 %2 ") | domainEnglishFormat.kif 3549-3549 | |
(format EnglishLanguage greaterThanByQuality "%1 has more %3 than %2") | domainEnglishFormat.kif 3548-3548 | |
(termFormat EnglishLanguage greaterThanByQuality "greater than by quality") | domainEnglishFormat.kif 65841-65841 |
antecedent |
(=> (and (greaterThanByQuality ?E1 ?E2 ?ATT) (greaterThanByQuality ?E2 ?E3 ?ATT)) (greaterThanByQuality ?E1 ?E3 ?ATT)) |
Merge.kif 753-757 | |
(=> (greaterThanByQuality ?E1 ?E2 ?ATT) (not (equal ?E2 ?E1))) |
Merge.kif 764-767 | |
(=> (greaterThanByQuality ?E1 ?E2 ?ATT) (not (greaterThanByQuality ?E2 ?E1 ?ATT))) |
Merge.kif 759-762 |
consequent |
(=> (and (greaterThanByQuality ?E1 ?E2 ?ATT) (greaterThanByQuality ?E2 ?E3 ?ATT)) (greaterThanByQuality ?E1 ?E3 ?ATT)) |
Merge.kif 753-757 | |
(=> (greaterThanByQuality ?E1 ?E2 ?ATT) (not (greaterThanByQuality ?E2 ?E1 ?ATT))) |
Merge.kif 759-762 |