larger - Sigma Knowledge base Browser

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 7355-7356
(domain larger 1 Object)	Merge.kif 7352-7352	The number 1 argument of larger is an instance of object
(domain larger 2 Object)	Merge.kif 7353-7353	The number 2 argument of larger is an instance of object
(instance larger BinaryPredicate)	Merge.kif 7347-7347	larger is an instance of binary predicate
(instance larger IrreflexiveRelation)	Merge.kif 7350-7350	larger is an instance of irreflexive relation
(instance larger SpatialRelation)	Merge.kif 7348-7348	larger is an instance of spatial relation
(instance larger TotalValuedRelation)	Merge.kif 7351-7351	larger is an instance of total valued relation
(instance larger TransitiveRelation)	Merge.kif 7349-7349	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 7375-7375	smaller is an inverse of larger
(termFormat ChineseLanguage larger "更大")	chinese_format.kif 624-624
(termFormat ChineseTraditionalLanguage larger "更大")	domainEnglishFormat.kif 33285-33285
(termFormat EnglishLanguage larger "larger")	domainEnglishFormat.kif 33284-33284

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 7358-7366

An object is larger than another object if and only if for all a real number, another real number and an unit of measure

if the measure of the object is the real number the unit of measure(s) and the measure of the other object is the other real number the unit of measure(s) and the unit of measure is an instance of UnitOfLength,
then the real number is greater than the other real number

consequent

(=> (and (instance ?CHANNEL Channel) (instance ?BODY BodyOfWater) (connected ?CHANNEL ?BODY)) (larger ?BODY ?CHANNEL))	Geography.kif 5008-5013	If an object is an instance of channel and another object is an instance of body of water and the object is connected to the other object, then the other object is larger than the object
(=> (and (instance ?COVE Cove) (instance ?BAY Bay)) (larger ?BAY ?COVE))	Geography.kif 4948-4952	If an object is an instance of cove and another object is an instance of bay, then the other object is larger than the object
(=> (and (instance ?GULF Gulf) (instance ?BAY Bay)) (larger ?GULF ?BAY))	Geography.kif 4823-4827	If an object is an instance of gulf and another object is an instance of bay, then the object is larger than the other object
(=> (and (instance ?WATER BodyOfWater) (not (instance ?WATER Ocean)) (instance ?OCEAN Ocean)) (larger ?OCEAN ?WATER))	Geography.kif 4279-4284	If an object is an instance of body of water and the object is not an instance of ocean and another object is an instance of ocean, then the other object is larger than the object
(=> (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)) (larger ?body1 ?strait))	Geography.kif 4983-4988	If an object is an instance of body of water and another object is an instance of body of water and a third object connects the object and the other object, then the object is larger than the third object

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

KB Term:			Term intersection

English Word: