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 7231-7232
(domain larger 1 Object)	Merge.kif 7228-7228	domain larger, 1 and Object
(domain larger 2 Object)	Merge.kif 7229-7229	domain larger, 2 and Object
(instance larger BinaryPredicate)	Merge.kif 7223-7223	instance larger and BinaryPredicate
(instance larger IrreflexiveRelation)	Merge.kif 7226-7226	instance larger and IrreflexiveRelation
(instance larger SpatialRelation)	Merge.kif 7224-7224	instance larger and SpatialRelation
(instance larger TotalValuedRelation)	Merge.kif 7227-7227	instance larger and TotalValuedRelation
(instance larger TransitiveRelation)	Merge.kif 7225-7225	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 7251-7251	inverse smaller and larger
(termFormat ChineseLanguage larger "更大")	chinese_format.kif 624-624	termFormat ChineseLanguage, larger and "更大"
(termFormat ChineseTraditionalLanguage larger "更大")	domainEnglishFormat.kif 33282-33282	termFormat ChineseTraditionalLanguage, larger and "更大"
(termFormat EnglishLanguage larger "larger")	domainEnglishFormat.kif 33281-33281	termFormat EnglishLanguage, larger and "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 7234-7242

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: