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 7500-7501
(domain larger 1 Object) Merge.kif 7497-7497 The number 1 argument of larger is an instance of object
(domain larger 2 Object) Merge.kif 7498-7498 The number 2 argument of larger is an instance of object
(instance larger BinaryPredicate) Merge.kif 7492-7492 larger is an instance of binary predicate
(instance larger IrreflexiveRelation) Merge.kif 7495-7495 larger is an instance of irreflexive relation
(instance larger SpatialRelation) Merge.kif 7493-7493 larger is an instance of spatial relation
(instance larger TotalValuedRelation) Merge.kif 7496-7496 larger is an instance of total valued relation
(instance larger TransitiveRelation) Merge.kif 7494-7494 larger is an instance of transitive relation

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 7520-7520 smaller is an inverse of larger
(termFormat ChineseLanguage larger "更大") chinese_format.kif 624-624
(termFormat ChineseTraditionalLanguage larger "更大") domainEnglishFormat.kif 33353-33353
(termFormat EnglishLanguage larger "larger") domainEnglishFormat.kif 33352-33352

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 7503-7511 An object is larger than another object if and only if for all a real number, another real number and an unit of measure

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


(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))
Geography.kif 5114-5119
(=>
    (and
        (instance ?COVE Cove)
        (instance ?BAY Bay))
    (larger ?BAY ?COVE))
Geography.kif 5054-5058
(=>
    (and
        (instance ?GULF Gulf)
        (instance ?BAY Bay))
    (larger ?GULF ?BAY))
Geography.kif 4929-4933
(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4338-4343
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))
Geography.kif 5089-5094


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 3.0 is open source software produced by Articulate Software and its partners