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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - smaller
smaller

appearance as argument number 1
-------------------------


(documentation smaller ChineseLanguage "(smaller ?OBJ1 ?OBJ2)的意思是 ?OBJ1 在所有的 LengthMeasure 方面比 ?OBJ2 小。") Merge.kif 11218-11219
(documentation smaller EnglishLanguage "(smaller ?OBJ1 ?OBJ2) means that ?OBJ1 is smaller, with respect to all LengthMeasures, than ?OBJ2.") Merge.kif 11215-11216
(documentation smaller JapaneseLanguage "(smaller ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 より もすべての LengthMeasure に対して小さいことを意味する。") Merge.kif 11221-11222
(domain smaller 1 Object) Merge.kif 11211-11211 The number 1 argument of smaller is an instance of object
(domain smaller 2 Object) Merge.kif 11212-11212 The number 2 argument of smaller is an instance of object
(instance smaller BinaryPredicate) Merge.kif 11206-11206 smaller is an instance of binary predicate
(instance smaller IrreflexiveRelation) Merge.kif 11210-11210 smaller is an instance of irreflexive relation
(instance smaller SpatialRelation) Merge.kif 11207-11207 smaller is an instance of spatial relation
(instance smaller TotalValuedRelation) Merge.kif 11208-11208 smaller is an instance of total valued relation
(instance smaller TransitiveRelation) Merge.kif 11209-11209 smaller is an instance of transitive relation
(inverse smaller larger) Merge.kif 11213-11213 smaller is an inverse of larger

appearance as argument number 2
-------------------------


(format ChineseLanguage smaller "%1 %n smaller %2") chinese_format.kif 625-625
(format EnglishLanguage smaller "%1 is %n smaller than %2") english_format.kif 867-867
(format JapaneseLanguage smaller "%1 は %2 よりも smaller %n") english_format.kif 868-868
(termFormat ChineseLanguage smaller "更小") chinese_format.kif 626-626 "更小" is the printable form of smaller in ChineseLanguage
(termFormat ChineseLanguage smaller "较小") domainEnglishFormat.kif 53425-53425 "较小" is the printable form of smaller in ChineseLanguage
(termFormat ChineseTraditionalLanguage smaller "較小") domainEnglishFormat.kif 53424-53424 "較小" is the printable form of smaller in ChineseTraditionalLanguage
(termFormat EnglishLanguage smaller "smaller") domainEnglishFormat.kif 53423-53423 "smaller" is the printable form of smaller in english language

consequent
-------------------------


(=>
    (and
        (instance ?C Creek)
        (instance ?R River))
    (smaller ?C ?R))
Geography.kif 5339-5343
(=>
    (and
        (instance ?LAKE Lake)
        (instance ?OCEAN Ocean))
    (smaller ?LAKE ?OCEAN))
Geography.kif 5394-5398
(=>
    (and
        (instance ?SEA Ocean)
        (not
            (equal ?SEA ArcticOcean)))
    (smaller ArcticOcean ?SEA))
Geography.kif 4360-4364
(=>
    (and
        (instance ?VIRUS1 FootAndMouthVirus)
        (instance ?VIRUS2 YellowFeverVirus))
    (smaller ?VIRUS1 ?VIRUS2))
WMD.kif 1099-1103


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