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

Formal Language: 



KB Term:  Term intersection
English Word: 

  smaller

 Sigma KEE - smaller
smaller

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


(documentation smaller ChineseLanguage "(smaller ?OBJ1 ?OBJ2)的意思是 ?OBJ1 在所有的 LengthMeasure 方面比 ?OBJ2 小。") chinese_format.kif 2666-2667
(documentation smaller EnglishLanguage "(smaller ?OBJ1 ?OBJ2) means that ?OBJ1 is smaller, with respect to all LengthMeasures, than ?OBJ2.") Merge.kif 7813-7814
(documentation smaller JapaneseLanguage "(smaller ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 より もすべての LengthMeasure に対して小さいことを意味する。") japanese_format.kif 1386-1387
(domain smaller 1 Object) Merge.kif 7809-7809 Die Zahl 1 Argument von smaller ist ein fall von Object %n{nicht}
(domain smaller 2 Object) Merge.kif 7810-7810 Die Zahl 2 Argument von smaller ist ein fall von Object %n{nicht}
(instance smaller BinaryPredicate) Merge.kif 7804-7804 smaller ist ein fall von BinaryPredicate %n{nicht}
(instance smaller IrreflexiveRelation) Merge.kif 7808-7808 smaller ist ein fall von IrreflexiveRelation %n{nicht}
(instance smaller SpatialRelation) Merge.kif 7805-7805 smaller ist ein fall von SpatialRelation %n{nicht}
(instance smaller TotalValuedRelation) Merge.kif 7806-7806 smaller ist ein fall von TotalValuedRelation %n{nicht}
(instance smaller TransitiveRelation) Merge.kif 7807-7807 smaller ist ein fall von TransitiveRelation %n{nicht}
(inverse smaller larger) Merge.kif 7811-7811 smaller ist eine inverse von larger %n{nicht}

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 628-628
(format FrenchLanguage smaller "%1 est %n plus petit que %2") french_format.kif 377-377
(format ItalianLanguage smaller "%1 è %n minore di %2") relations-it.txt 266-266
(format JapaneseLanguage smaller "%1 は %2 よりも smaller %n") japanese_format.kif 2111-2111
(format PortugueseLanguage smaller "%1 e' %n menor do que %2") portuguese_format.kif 329-329
(format de smaller "%1 ist %n{nicht} kleiner als %2") relations-de.txt 820-820
(format hi smaller "%1 %2 se chhoTaa %n hai") relations-hindi.txt 303-303
(format ro smaller "%1 %n{nu} este smaller%t{mai mic} decât %2") relations-ro.kif 399-399
(format sv smaller "%1 är %n{inte} mindre än %2") relations-sv.txt 419-419
(format tg smaller "%1 %n ay mas maliit ng %2") relations-tg.txt 458-458
(termFormat ChineseLanguage smaller "更小") chinese_format.kif 626-626
(termFormat ChineseLanguage smaller "较小") domainEnglishFormat.kif 53488-53488
(termFormat ChineseTraditionalLanguage smaller "較小") domainEnglishFormat.kif 53487-53487
(termFormat EnglishLanguage smaller "smaller") domainEnglishFormat.kif 53486-53486

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


(=>
    (and
        (instance ?C Creek)
        (instance ?R River))
    (smaller ?C ?R))		 Geography.kif 5678-5682
(=>
    (and
        (instance ?LAKE Lake)
        (instance ?OCEAN Ocean))
    (smaller ?LAKE ?OCEAN))		 Geography.kif 5733-5737
(=>
    (and
        (instance ?SEA Ocean)
        (not
            (equal ?SEA ArcticOcean)))
    (smaller ArcticOcean ?SEA))		 Geography.kif 4643-4647
(=>
    (and
        (instance ?VIRUS1 FootAndMouthVirus)
        (instance ?VIRUS2 YellowFeverVirus))
    (smaller ?VIRUS1 ?VIRUS2))		 WMD.kif 1189-1193


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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