Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - larger
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 7825-7826
(documentation larger JapaneseLanguage "(larger ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2よりも すべての LengthMeasure に対して大きいことを意味する。") japanese_format.kif 1384-1385
(domain larger 1 Object) Merge.kif 7822-7822 larger の数値 1 引数は オブジェクトinstance では
(domain larger 2 Object) Merge.kif 7823-7823 larger の数値 2 引数は オブジェクトinstance では
(instance larger BinaryPredicate) Merge.kif 7817-7817 larger2進述語instance では
(instance larger IrreflexiveRelation) Merge.kif 7820-7820 larger非反射関係instance では
(instance larger SpatialRelation) Merge.kif 7818-7818 larger空間的関係instance では
(instance larger TotalValuedRelation) Merge.kif 7821-7821 larger合計値関係instance では
(instance larger TransitiveRelation) Merge.kif 7819-7819 larger推移関係instance では

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 7845-7845 smallerlargerinverse では
(termFormat ChineseLanguage larger "更大") chinese_format.kif 624-624 smallerlargerinverse では
(termFormat ChineseTraditionalLanguage larger "更大") domainEnglishFormat.kif 33377-33377 smallerlargerinverse では
(termFormat EnglishLanguage larger "larger") domainEnglishFormat.kif 33376-33376 smallerlargerinverse では
(termFormat de larger "groesser") terms-de.txt 242-242 smallerlargerinverse では
(termFormat tg larger "mas malaki") relations-tg.txt 321-321 smallerlargerinverse では

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 7828-7836 オブジェクト オブジェクト よりも larger 実数 実数 and 測定単位

consequent
-------------------------


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))
Geography.kif 5463-5468
(=>
    (and
        (instance ?COVE Cove)
        (instance ?BAY Bay))
    (larger ?BAY ?COVE))
Geography.kif 5391-5395
(=>
    (and
        (instance ?GULF Gulf)
        (instance ?BAY Bay))
    (larger ?GULF ?BAY))
Geography.kif 5241-5245
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4593-4598
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))
Geography.kif 5426-5431


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