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 7322-7323
(domain larger 1 Object)	Merge.kif 7319-7319	domain larger, 1 and Object
(domain larger 2 Object)	Merge.kif 7320-7320	domain larger, 2 and Object
(instance larger BinaryPredicate)	Merge.kif 7314-7314	instance larger and BinaryPredicate
(instance larger IrreflexiveRelation)	Merge.kif 7317-7317	instance larger and IrreflexiveRelation
(instance larger SpatialRelation)	Merge.kif 7315-7315	instance larger and SpatialRelation
(instance larger TotalValuedRelation)	Merge.kif 7318-7318	instance larger and TotalValuedRelation
(instance larger TransitiveRelation)	Merge.kif 7316-7316	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 7342-7342	inverse smaller and larger
(termFormat ChineseLanguage larger "更大")	chinese_format.kif 624-624
(termFormat ChineseTraditionalLanguage larger "更大")	domainEnglishFormat.kif 33264-33264
(termFormat EnglishLanguage larger "larger")	domainEnglishFormat.kif 33263-33263

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 7325-7333

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: