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 11190-11191
(documentation larger EnglishLanguage "(larger ?OBJ1 ?OBJ2) means that ?OBJ1 is larger, with respect to all LengthMeasures, than ?OBJ2.") Merge.kif 11187-11188
(documentation larger JapaneseLanguage "(larger ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2よりも すべての LengthMeasure に対して大きいことを意味する。") Merge.kif 11193-11194
(domain larger 1 Object) Merge.kif 11184-11184
(domain larger 2 Object) Merge.kif 11185-11185
(instance larger BinaryPredicate) Merge.kif 11179-11179
(instance larger IrreflexiveRelation) Merge.kif 11182-11182
(instance larger SpatialRelation) Merge.kif 11180-11180
(instance larger TotalValuedRelation) Merge.kif 11183-11183
(instance larger TransitiveRelation) Merge.kif 11181-11181

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 864-864
(format JapaneseLanguage larger "%1 は %2 よりも larger %n") english_format.kif 865-865
(inverse smaller larger) Merge.kif 11213-11213
(termFormat ChineseLanguage larger "更大") chinese_format.kif 624-624
(termFormat ChineseTraditionalLanguage larger "更大") domainEnglishFormat.kif 33282-33282
(termFormat EnglishLanguage larger "larger") domainEnglishFormat.kif 33281-33281

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 11196-11204

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


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))
Geography.kif 4994-4999
(=>
    (and
        (instance ?COVE Cove)
        (instance ?BAY Bay))
    (larger ?BAY ?COVE))
Geography.kif 4934-4938
(=>
    (and
        (instance ?GULF Gulf)
        (instance ?BAY Bay))
    (larger ?GULF ?BAY))
Geography.kif 4809-4813
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4266-4271
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))
Geography.kif 4969-4974


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