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 7231-7232
(domain larger 1 Object) Merge.kif 7228-7228 domain larger, 1 and Object
(domain larger 2 Object) Merge.kif 7229-7229 domain larger, 2 and Object
(instance larger BinaryPredicate) Merge.kif 7223-7223 instance larger and BinaryPredicate
(instance larger IrreflexiveRelation) Merge.kif 7226-7226 instance larger and IrreflexiveRelation
(instance larger SpatialRelation) Merge.kif 7224-7224 instance larger and SpatialRelation
(instance larger TotalValuedRelation) Merge.kif 7227-7227 instance larger and TotalValuedRelation
(instance larger TransitiveRelation) Merge.kif 7225-7225 instance larger and TransitiveRelation

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 629-629
(inverse smaller larger) Merge.kif 7251-7251 inverse smaller and larger
(termFormat ChineseLanguage larger "更大") chinese_format.kif 624-624 termFormat ChineseLanguage, larger and "更大"
(termFormat ChineseTraditionalLanguage larger "更大") domainEnglishFormat.kif 33282-33282 termFormat ChineseTraditionalLanguage, larger and "更大"
(termFormat EnglishLanguage larger "larger") domainEnglishFormat.kif 33281-33281 termFormat EnglishLanguage, larger and "larger"

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 7234-7242 larger Object and Object RealNumber RealNumber and UnitOfMeasure

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


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))
Geography.kif 5008-5013
(=>
    (and
        (instance ?COVE Cove)
        (instance ?BAY Bay))
    (larger ?BAY ?COVE))
Geography.kif 4948-4952
(=>
    (and
        (instance ?GULF Gulf)
        (instance ?BAY Bay))
    (larger ?GULF ?BAY))
Geography.kif 4823-4827
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4279-4284
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))
Geography.kif 4983-4988


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