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

Formal Language: 



KB Term:  Term intersection
English Word: 

  larger

 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 7722-7723
(domain larger 1 Object) Merge.kif 7719-7719
(domain larger 2 Object) Merge.kif 7720-7720
(instance larger BinaryPredicate) Merge.kif 7714-7714
(instance larger IrreflexiveRelation) Merge.kif 7717-7717
(instance larger SpatialRelation) Merge.kif 7715-7715
(instance larger TotalValuedRelation) Merge.kif 7718-7718
(instance larger TransitiveRelation) Merge.kif 7716-7716

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
(inverse smaller larger) Merge.kif 7742-7742
(termFormat ChineseLanguage larger "更大") chinese_format.kif 624-624
(termFormat ChineseTraditionalLanguage larger "更大") domainEnglishFormat.kif 33348-33348
(termFormat EnglishLanguage larger "larger") domainEnglishFormat.kif 33347-33347

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 7725-7733

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


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))		 Geography.kif 5239-5244
(=>
    (and
        (instance ?COVE Cove)
        (instance ?BAY Bay))
    (larger ?BAY ?COVE))		 Geography.kif 5179-5183
(=>
    (and
        (instance ?GULF Gulf)
        (instance ?BAY Bay))
    (larger ?GULF ?BAY))		 Geography.kif 5054-5058
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))		 Geography.kif 4433-4438
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))		 Geography.kif 5214-5219


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