Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
LengthMeasure
s, 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
Il numero 1 argomenti di
smaller
è un
istanza
di
Oggetto
(
domain
smaller
2
Object
)
Merge.kif 7810-7810
Il numero 2 argomenti di
smaller
è un
istanza
di
Oggetto
(
instance
smaller
BinaryPredicate
)
Merge.kif 7804-7804
smaller
è un'
istanza
di
PredicatoBinario
(
instance
smaller
IrreflexiveRelation
)
Merge.kif 7808-7808
smaller
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
smaller
SpatialRelation
)
Merge.kif 7805-7805
smaller
è un'
istanza
di
RelazioneSpaziale
(
instance
smaller
TotalValuedRelation
)
Merge.kif 7806-7806
smaller
è un'
istanza
di
RelazioneAValoreTotale
(
instance
smaller
TransitiveRelation
)
Merge.kif 7807-7807
smaller
è un'
istanza
di
RelazioneTransitiva
(
inverse
smaller
larger
)
Merge.kif 7811-7811
smaller
è un
inverso
di
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 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
Oggetto
è un'
istanza
di
Creek
Oggetto
è un'
istanza
di
River
Oggetto
è
minore
di
Oggetto
(=>
(
and
(
instance
?LAKE
Lake
)
(
instance
?OCEAN
Ocean
))
(
smaller
?LAKE ?OCEAN))
Geography.kif 5733-5737
Oggetto
è un'
istanza
di
Lake
Oggetto
è un'
istanza
di
Ocean
Oggetto
è
minore
di
Oggetto
(=>
(
and
(
instance
?SEA
Ocean
)
(
not
(
equal
?SEA
ArcticOcean
)))
(
smaller
ArcticOcean
?SEA))
Geography.kif 4643-4647
Oggetto
è un'
istanza
di
Ocean
Oggetto
is
uguale
a
ArcticOcean
ArcticOcean
è
minore
di
Oggetto
(=>
(
and
(
instance
?VIRUS1
FootAndMouthVirus
)
(
instance
?VIRUS2
YellowFeverVirus
))
(
smaller
?VIRUS1 ?VIRUS2))
WMD.kif 1189-1193
Oggetto
è un'
istanza
di
FootAndMouthVirus
Oggetto
è un'
istanza
di
YellowFeverVirus
Oggetto
è
minore
di
Oggetto
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