Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - larger

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 7659-7660
(domain larger 1 Object) Merge.kif 7656-7656 更大 的 1 数量 是 客体instance
(domain larger 2 Object) Merge.kif 7657-7657 更大 的 2 数量 是 客体instance
(instance larger BinaryPredicate) Merge.kif 7651-7651 更大二元谓语instance
(instance larger IrreflexiveRelation) Merge.kif 7654-7654 更大非自反关系instance
(instance larger SpatialRelation) Merge.kif 7652-7652 更大空间关系instance
(instance larger TotalValuedRelation) Merge.kif 7655-7655 更大总值关系instance
(instance larger TransitiveRelation) Merge.kif 7653-7653 更大传递关系instance

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 626-626
(inverse smaller larger) Merge.kif 7679-7679 更小更大inverse
(termFormat ChineseLanguage larger "更大") chinese_format.kif 624-624
(termFormat ChineseTraditionalLanguage larger "更大") domainEnglishFormat.kif 33353-33353
(termFormat EnglishLanguage larger "larger") domainEnglishFormat.kif 33352-33352


    (larger ?OBJ1 ?OBJ2)
    (forall (?QUANT1 ?QUANT2 ?UNIT)
                (measure ?OBJ1
                    (MeasureFn ?QUANT1 ?UNIT))
                (measure ?OBJ2
                    (MeasureFn ?QUANT2 ?UNIT))
                (instance ?UNIT UnitOfLength))
            (greaterThan ?QUANT1 ?QUANT2))))
Merge.kif 7662-7670 客体 larger 另一个 客体 若且唯若 对所有 实数另一个 实数, and 和 测量单位


        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))
Geography.kif 5228-5233
        (instance ?COVE Cove)
        (instance ?BAY Bay))
    (larger ?BAY ?COVE))
Geography.kif 5168-5172
        (instance ?GULF Gulf)
        (instance ?BAY Bay))
    (larger ?GULF ?BAY))
Geography.kif 5043-5047
        (instance ?WATER BodyOfWater)
            (instance ?WATER Ocean))
        (instance ?OCEAN Ocean))
    (larger ?OCEAN ?WATER))
Geography.kif 4422-4427
        (instance ?body1 BodyOfWater)
        (instance ?body2 BodyOfWater)
        (connects ?strait ?body1 ?body2))
    (larger ?body1 ?strait))
Geography.kif 5203-5208

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