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


KB Term:  Term intersection
English Word: 

Sigma KEE - larger
larger

appearance as argument number 1
-------------------------


(instance larger BinaryPredicate) Merge.kif 7926-7926 larger is an instance of binary predicate
(instance larger SpatialRelation) Merge.kif 7927-7927 larger is an instance of spatial relation
(instance larger TransitiveRelation) Merge.kif 7928-7928 larger is an instance of transitive relation
(instance larger IrreflexiveRelation) Merge.kif 7929-7929 larger is an instance of irreflexive relation
(instance larger TotalValuedRelation) Merge.kif 7930-7930 larger is an instance of total valued relation
(domain larger 1 Object) Merge.kif 7931-7931 The number 1 argument of larger is an instance of object
(domain larger 2 Object) Merge.kif 7932-7932 The number 2 argument of larger is an instance of object
(documentation larger EnglishLanguage "(larger ?OBJ1 ?OBJ2) means that ?OBJ1 is larger, with respect to all LengthMeasures, than ?OBJ2.") Merge.kif 7934-7935 The number 2 argument of larger is an instance of object

appearance as argument number 2
-------------------------


(inverse smaller larger) Merge.kif 7954-7954 smaller is an inverse of larger
(termFormat EnglishLanguage larger "larger") domainEnglishFormat.kif 33369-33369 smaller is an inverse of larger
(termFormat ChineseTraditionalLanguage larger "更大") domainEnglishFormat.kif 33370-33370 smaller is an inverse of larger
(termFormat ChineseLanguage larger "更大") domainEnglishFormat.kif 33371-33371 smaller is an inverse of larger
(format EnglishLanguage larger "%1 is %n larger than %2") english_format.kif 626-626 smaller is an inverse of 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 7937-7945 X is larger than Y if and only if Z, W and V the measure of X is Z V(s) and the measure of Y is W V(s) and V is an instance of unit of lengthZ is greater than W

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


(=>
    (and
        (instance ?WATER BodyOfWater)
        (not
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))		 Geography.kif 6065-6070 If X is an instance of body of water, X is not an instance of ocean, and Y is an instance of ocean, then Y is larger than X
(=>
    (and
        (instance ?GULF Gulf)
        (instance ?BAY Bay))
    (larger ?GULF ?BAY))		 Geography.kif 6701-6705 If X is an instance of gulf and Y is an instance of bay, then X is larger than Y
(=>
    (and
        (instance ?COVE Cove)
        (instance ?BAY Bay))
    (larger ?BAY ?COVE))		 Geography.kif 6863-6867 If X is an instance of cove and Y is an instance of bay, then Y is larger than X
(=>
    (and
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))		 Geography.kif 6898-6903 If X is an instance of body of water, Y is an instance of body of water, and Z connects X and Y, then X is larger than Z
(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))		 Geography.kif 6935-6940 If X is an instance of channel, Y is an instance of body of water, and X is connected to Y, then Y is larger than X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners