larger |
appearance as argument number 1 |
![]() |
(documentation larger ChineseLanguage "(larger ?OBJ1 ?OBJ2)的意思是 ?OBJ1 在所有的 LengthMeasure 方面比 ?OBJ2 大。") | chinese_format.kif 2664-2665 | |
(documentation larger EnglishLanguage "(larger ?OBJ1 ?OBJ2) means that ?OBJ1 is larger, with respect to all LengthMeasures, than ?OBJ2.") | Merge.kif 7790-7791 | |
(documentation larger JapaneseLanguage "(larger ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2よりも すべての LengthMeasure に対して大きいことを意味する。") | japanese_format.kif 1384-1385 | |
(domain larger 1 Object) | Merge.kif 7787-7787 | The number 1 argument of larger is an instance of object |
(domain larger 2 Object) | Merge.kif 7788-7788 | The number 2 argument of larger is an instance of object |
(instance larger BinaryPredicate) | Merge.kif 7782-7782 | larger is an instance of binary predicate |
(instance larger IrreflexiveRelation) | Merge.kif 7785-7785 | larger is an instance of irreflexive relation |
(instance larger SpatialRelation) | Merge.kif 7783-7783 | larger is an instance of spatial relation |
(instance larger TotalValuedRelation) | Merge.kif 7786-7786 | larger is an instance of total valued relation |
(instance larger TransitiveRelation) | Merge.kif 7784-7784 | larger is an instance of transitive relation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage larger "%1 %n larger %2") | chinese_format.kif 623-623 | |
(format EnglishLanguage larger "%1 is %n larger than %2") | english_format.kif 626-626 | |
(format FrenchLanguage larger "%1 est %n plus large que %2") | french_format.kif 376-376 | |
(format ItalianLanguage larger "%1 è %n più largo di%2") | relations-it.txt 160-160 | |
(format JapaneseLanguage larger "%1 は %2 よりも larger %n") | japanese_format.kif 2110-2110 | |
(format PortugueseLanguage larger "%1 e' %n maior do que %2") | portuguese_format.kif 328-328 | |
(format cz larger "%1 %p{je} %n{nen�} larger than %2") | relations-cz.txt 385-385 | |
(format de larger "%1 ist %n{nicht} groesser als %2") | relations-de.txt 818-818 | |
(format hi larger "%1 %2 se badaa %n hai") | relations-hindi.txt 199-199 | |
(format ro larger "%1 %n{nu} este larger%t{mai mare} decât %2") | relations-ro.kif 398-398 | |
(format sv larger "%1 är %n{inte} större än %2") | relations-sv.txt 418-418 | |
(format tg larger "%1 %n ay mas malaki ng %2") | relations-tg.txt 320-320 | |
(inverse smaller larger) | Merge.kif 7810-7810 | smaller is an inverse of larger |
(termFormat ChineseLanguage larger "更大") | chinese_format.kif 624-624 | |
(termFormat ChineseTraditionalLanguage larger "更大") | domainEnglishFormat.kif 33366-33366 | |
(termFormat EnglishLanguage larger "larger") | domainEnglishFormat.kif 33365-33365 | |
(termFormat tg larger "mas malaki") | relations-tg.txt 321-321 |
antecedent |
![]() |
(<=> (larger ?OBJ1 ?OBJ2) (forall (?QUANT1 ?QUANT2 ?UNIT) (=> (and (measure ?OBJ1 (MeasureFn ?QUANT1 ?UNIT)) (measure ?OBJ2 (MeasureFn ?QUANT2 ?UNIT)) (instance ?UNIT UnitOfLength)) (greaterThan ?QUANT1 ?QUANT2)))) |
Merge.kif 7793-7801 | An object is larger than another object if and only if for all a real number, another real number and an unit of measure
|
consequent |
![]() |
![]() |
![]() |