| 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 | The number 1 argument of greater than by quality is an instance of entity |
| (domain greaterThanByQuality 2 Entity) | Merge.kif 750-750 | The number 2 argument of greater than by quality is an instance of entity |
| (domain greaterThanByQuality 3 Attribute) | Merge.kif 751-751 | The number 3 argument of greater than by quality is an instance of attribute |
| (instance greaterThanByQuality TernaryPredicate) | Merge.kif 743-743 | greater than by quality is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage greaterThanByQuality "%1 有 more %3 比 %2 ") | domainEnglishFormat.kif 3544-3544 | |
| (format ChineseTraditionalLanguage greaterThanByQuality "%1 有 more %3 比 %2 ") | domainEnglishFormat.kif 3543-3543 | |
| (format EnglishLanguage greaterThanByQuality "%1 has more %3 than %2") | domainEnglishFormat.kif 3542-3542 | |
| (termFormat EnglishLanguage greaterThanByQuality "greater than by quality") | domainEnglishFormat.kif 65892-65892 |
| 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 |
|
|
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