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	domain larger, 1 and Object
(domain larger 2 Object)	Merge.kif 7353-7353	domain larger, 2 and Object
(instance larger BinaryPredicate)	Merge.kif 7347-7347	instance larger and BinaryPredicate
(instance larger IrreflexiveRelation)	Merge.kif 7350-7350	instance larger and IrreflexiveRelation
(instance larger SpatialRelation)	Merge.kif 7348-7348	instance larger and SpatialRelation
(instance larger TotalValuedRelation)	Merge.kif 7351-7351	instance larger and TotalValuedRelation
(instance larger TransitiveRelation)	Merge.kif 7349-7349	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 7375-7375	inverse smaller and 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

larger Object and Object RealNumber RealNumber and UnitOfMeasure

measure Object and MeasureFn RealNumber and UnitOfMeasure measure Object and MeasureFn RealNumber and UnitOfMeasure instance UnitOfMeasure and UnitOfLength
greaterThan RealNumber and RealNumber

consequent

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