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 大。") Merge.kif 7943-7944
(documentation larger EnglishLanguage "(larger ?OBJ1 ?OBJ2) means that ?OBJ1 is larger, with respect to all LengthMeasures, than ?OBJ2.") Merge.kif 7941-7942
(domain larger 1 Object) Merge.kif 7939-7939
(domain larger 2 Object) Merge.kif 7940-7940
(instance larger BinaryPredicate) Merge.kif 7934-7934
(instance larger IrreflexiveRelation) Merge.kif 7937-7937
(instance larger SpatialRelation) Merge.kif 7935-7935
(instance larger TotalValuedRelation) Merge.kif 7938-7938
(instance larger TransitiveRelation) Merge.kif 7936-7936

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 387-387
(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 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 tg larger "%1 %n ay mas malaki ng %2") relations-tg.txt 320-320
(inverse smaller larger) Merge.kif 7963-7963
(termFormat ChineseLanguage larger "更大") chinese_format.kif 624-624
(termFormat EnglishLanguage larger "larger") domainEnglishFormat.kif 5980-5980
(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 7946-7954

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


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))
Geography.kif 4995-5000
(=>
    (and
        (instance ?COVE Cove)
        (instance ?BAY Bay))
    (larger ?BAY ?COVE))
Geography.kif 4935-4939
(=>
    (and
        (instance ?GULF Gulf)
        (instance ?BAY Bay))
    (larger ?GULF ?BAY))
Geography.kif 4810-4814
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4267-4272
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))
Geography.kif 4970-4975


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners