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 7791-7792 | |
(documentation larger JapaneseLanguage "(larger ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2よりも すべての LengthMeasure に対して大きいことを意味する。") | japanese_format.kif 1384-1385 | |
(domain larger 1 Object) | Merge.kif 7788-7788 | Il numero 1 argomenti di larger è un istanza di Oggetto |
(domain larger 2 Object) | Merge.kif 7789-7789 | Il numero 2 argomenti di larger è un istanza di Oggetto |
(instance larger BinaryPredicate) | Merge.kif 7783-7783 | larger è un' istanza di PredicatoBinario |
(instance larger IrreflexiveRelation) | Merge.kif 7786-7786 | larger è un' istanza di RelazioneNonRiflessiva |
(instance larger SpatialRelation) | Merge.kif 7784-7784 | larger è un' istanza di RelazioneSpaziale |
(instance larger TotalValuedRelation) | Merge.kif 7787-7787 | larger è un' istanza di RelazioneAValoreTotale |
(instance larger TransitiveRelation) | Merge.kif 7785-7785 | larger è un' istanza di RelazioneTransitiva |
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 7811-7811 | smaller è un inverso di 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 7794-7802 | Oggetto è più largo di Oggetto NumeroReale NumeroReale and Unit�DiMisura
|
consequent |
(=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL)) |
Geography.kif 5330-5335 | |
(=> (and (instance ?COVE Cove) (instance ?BAY Bay)) (larger ?BAY ?COVE)) |
Geography.kif 5270-5274 | |
(=> (and (instance ?GULF Gulf) (instance ?BAY Bay)) (larger ?GULF ?BAY)) |
Geography.kif 5145-5149 | |
(=> (and (instance ?WATER BodyOfWater) (not (instance ?WATER Ocean)) (instance ?OCEAN Ocean)) (larger ?OCEAN ?WATER)) |
Geography.kif 4523-4528 | |
(=> (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)) (larger ?body1 ?strait)) |
Geography.kif 5305-5310 |