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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 7755-7756
(documentation larger JapaneseLanguage "(larger ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2よりも すべての LengthMeasure に対して大きいことを意味する。") japanese_format.kif 1384-1385
(domain larger 1 Object) Merge.kif 7752-7752 Le nombre 1 argument de larger est une instance de objet
(domain larger 2 Object) Merge.kif 7753-7753 Le nombre 2 argument de larger est une instance de objet
(instance larger BinaryPredicate) Merge.kif 7747-7747 larger est une instance de pr�dicat binaire
(instance larger IrreflexiveRelation) Merge.kif 7750-7750 larger est une instance de relation irr�flexive
(instance larger SpatialRelation) Merge.kif 7748-7748 larger est une instance de relation spatial
(instance larger TotalValuedRelation) Merge.kif 7751-7751 larger est une instance de relation total
(instance larger TransitiveRelation) Merge.kif 7749-7749 larger est une instance de relation transitive

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 7775-7775 smaller est l' inverse de larger
(termFormat ChineseLanguage larger "更大") chinese_format.kif 624-624
(termFormat ChineseTraditionalLanguage larger "更大") domainEnglishFormat.kif 33372-33372
(termFormat EnglishLanguage larger "larger") domainEnglishFormat.kif 33371-33371
(termFormat tg larger "mas malaki") relations-tg.txt 321-321


    (larger ?OBJ1 ?OBJ2)
    (forall (?QUANT1 ?QUANT2 ?UNIT)
                (measure ?OBJ1
                    (MeasureFn ?QUANT1 ?UNIT))
                (measure ?OBJ2
                    (MeasureFn ?QUANT2 ?UNIT))
                (instance ?UNIT UnitOfLength))
            (greaterThan ?QUANT1 ?QUANT2))))
Merge.kif 7758-7766 Objet est plus large que objet nombre r�el nombre r�el and unit� de mesure


        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))
Geography.kif 5308-5313
        (instance ?COVE Cove)
        (instance ?BAY Bay))
    (larger ?BAY ?COVE))
Geography.kif 5248-5252
        (instance ?GULF Gulf)
        (instance ?BAY Bay))
    (larger ?GULF ?BAY))
Geography.kif 5123-5127
        (instance ?WATER BodyOfWater)
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4501-4506
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))
Geography.kif 5283-5288

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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