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
vegetationType
Sigma KEE - vegetationType
vegetationType
appearance as argument number 1
(
documentation
vegetationType
EnglishLanguage
"(
vegetationType
?area ?type) associates a particular
GeographicArea
with a type of
Plant
that is found there.")
Geography.kif 6185-6186
(
domain
vegetationType
1
GeographicArea
)
Geography.kif 6188-6188
植被类型
的 1 数量 是
地理区域
的
instance
(
domainSubclass
vegetationType
2
Plant
)
Geography.kif 6189-6189
植被类型
的 2 数量 是
植物
的
subclass
(
instance
vegetationType
AsymmetricRelation
)
Geography.kif 6183-6183
植被类型
是
非对称关系
的
instance
(
instance
vegetationType
BinaryPredicate
)
Geography.kif 6182-6182
植被类型
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
vegetationType
"%2 是 found 在 %1 ")
domainEnglishFormat.kif 4918-4918
(
format
ChineseTraditionalLanguage
vegetationType
"%2 是 found 在 %1 ")
domainEnglishFormat.kif 4917-4917
(
format
EnglishLanguage
vegetationType
"%2 is found in %1")
domainEnglishFormat.kif 4916-4916
(
termFormat
ChineseLanguage
vegetationType
"植被类型")
domainEnglishFormat.kif 61334-61334
(
termFormat
ChineseTraditionalLanguage
vegetationType
"植被類型")
domainEnglishFormat.kif 61333-61333
(
termFormat
EnglishLanguage
vegetationType
"vegetation type")
domainEnglishFormat.kif 61332-61332
antecedent
(=>
(
and
(
not
(
vegetationType
?REGION ?TYPE))
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
not
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION)))))
Geography.kif 6201-6209
如果 不
有点 植物
是
found
在
地理区域
和
有点 植物
是
植物
的
subclass
和
那个 地理区域
是
地理区域
的
instance
,
然后 不存在
物理
这样
那个 物理
是
那个 有点 植物
的
instance
和
那个 物理
是
located
在
那个 地理区域
(=>
(
and
(
vegetationType
?REGION ?TYPE)
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION))))
Geography.kif 6191-6199
如果
有点 植物
是
found
在
地理区域
和
有点 植物
是
植物
的
subclass
和
那个 地理区域
是
地理区域
的
instance
,
然后 有存在
物理
这样
那个 物理
是
那个 有点 植物
的
instance
和
那个 物理
是
located
在
那个 地理区域
consequent
(=>
(
instance
?DESERT
Desert
)
(
not
(
vegetationType
?DESERT
BotanicalTree
)))
Geography.kif 6633-6635
如果
地理区域
是
沙漠
的
instance
,
然后 不
植物树
是
found
在
那个 地理区域
(=>
(
instance
?FOREST
BorealForest
)
(
vegetationType
?FOREST
PineTree
))
Geography.kif 6566-6568
如果
地理区域
是
针叶林
的
instance
,
然后
松树
是
found
在
那个 地理区域
(=>
(
instance
?PLAIN
Savanna
)
(
not
(
vegetationType
?PLAIN
BotanicalTree
)))
Geography.kif 6693-6696
如果
地理区域
是
稀树草原
的
instance
,
然后 不
植物树
是
found
在
那个 地理区域
(=>
(
instance
?PLAIN
Steppe
)
(
not
(
vegetationType
?PLAIN
BotanicalTree
)))
Geography.kif 6703-6705
如果
地理区域
是
草原
的
instance
,
然后 不
植物树
是
found
在
那个 地理区域
(=>
(
instance
?PLAIN
Tundra
)
(
vegetationType
?PLAIN
Lichen
))
Geography.kif 6735-6737
如果
地理区域
是
苔原
的
instance
,
然后
青苔
是
found
在
那个 地理区域
(=>
(
instance
?PLAIN
Tundra
)
(
vegetationType
?PLAIN
Moss
))
Geography.kif 6739-6741
如果
地理区域
是
苔原
的
instance
,
然后
苔藓
是
found
在
那个 地理区域
(=>
(
vegetationTypePattern
?AREA ?TYPE ?DENSITY)
(
vegetationType
?AREA ?TYPE))
Geography.kif 6221-6223
如果
地理区域
是 对于 %3 的
vegetation
类别模式,
然后
有点 植物
是
found
在
那个 地理区域
statement
(
not
(
vegetationType
ArcticRegion
BotanicalTree
))
Geography.kif 3585-3585
不
植物树
是
found
在
北极地区
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