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
vegetationTypePattern
Sigma KEE - vegetationTypePattern
vegetationTypePattern
appearance as argument number 1
(
documentation
vegetationTypePattern
EnglishLanguage
"(
vegetationTypePattern
?AREA ?TYPE ?DENSITY) means that in the
GeographicArea
?AREA the
Plant
?TYPE is found with ?DENSITY.")
Geography.kif 6213-6215
(
domain
vegetationTypePattern
1
GeographicArea
)
Geography.kif 6217-6217
(
domain
vegetationTypePattern
3
Attribute
)
Geography.kif 6219-6219
(
domainSubclass
vegetationTypePattern
2
Plant
)
Geography.kif 6218-6218
(
instance
vegetationTypePattern
TernaryPredicate
)
Geography.kif 6211-6211
appearance as argument number 2
(
format
ChineseLanguage
vegetationTypePattern
"%1 %n 是 对于 %3 的 vegetation 类别模式")
domainEnglishFormat.kif 2583-2583
(
format
ChineseTraditionalLanguage
vegetationTypePattern
"%1 %n 是 對於 %3 的 vegetation 類別模式")
domainEnglishFormat.kif 2582-2582
(
format
EnglishLanguage
vegetationTypePattern
"%1 is %n vegetation type pattern %2 for %3")
domainEnglishFormat.kif 2581-2581
(
termFormat
ChineseLanguage
vegetationTypePattern
"植被类型模式")
domainEnglishFormat.kif 61342-61342
(
termFormat
ChineseTraditionalLanguage
vegetationTypePattern
"植被類型模式")
domainEnglishFormat.kif 61341-61341
(
termFormat
EnglishLanguage
vegetationTypePattern
"vegetation type pattern")
domainEnglishFormat.kif 61340-61340
antecedent
(=>
(
vegetationTypePattern
?AREA ?TYPE ?DENSITY)
(
vegetationType
?AREA ?TYPE))
Geography.kif 6221-6223
consequent
(=>
(
instance
?FOREST
Forest
)
(
vegetationTypePattern
?FOREST
BotanicalTree
DenseVegetation
))
Geography.kif 6358-6360
(=>
(
instance
?FOREST
Jungle
)
(
vegetationTypePattern
?FOREST
Plant
DenseVegetation
))
Geography.kif 6603-6605
(=>
(
instance
?FOREST
RainForest
)
(
vegetationTypePattern
?FOREST
BotanicalTree
CanopiedVegetation
))
Geography.kif 6368-6370
(=>
(
instance
?PLAIN
Grassland
)
(
vegetationTypePattern
?PLAIN
Grass
GroundCoverVegetation
))
Geography.kif 6667-6669
(=>
(
instance
?PLAIN
Veldt
)
(
vegetationTypePattern
?PLAIN
Shrub
ScatteredVegetation
))
Geography.kif 6723-6725
(=>
(
instance
?SWAMP
Swamp
)
(
vegetationTypePattern
?SWAMP
Grass
DenseVegetation
))
Geography.kif 6615-6617
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