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
groundSurfaceType
Sigma KEE - groundSurfaceType
groundSurfaceType
appearance as argument number 1
(
documentation
groundSurfaceType
EnglishLanguage
"(%&groundSurfaceType ?area ?substance) means that the predominant
Substance
at the ground surface of the
LandArea
?area is ?substance.")
Geography.kif 4276-4277
(
domain
groundSurfaceType
1
LandArea
)
Geography.kif 4278-4278
(
domainSubclass
groundSurfaceType
2
Substance
)
Geography.kif 4279-4279
(
instance
groundSurfaceType
BinaryPredicate
)
Geography.kif 4275-4275
appearance as argument number 2
(
format
ChineseLanguage
groundSurfaceType
"%2 %n 是 %1 的 ground 表面类别")
domainEnglishFormat.kif 1133-1133
(
format
ChineseTraditionalLanguage
groundSurfaceType
"%2 %n 是 %1 的 ground 表面類別")
domainEnglishFormat.kif 1132-1132
(
format
EnglishLanguage
groundSurfaceType
"%2 is %n a ground surface type of %1")
domainEnglishFormat.kif 1131-1131
(
termFormat
ChineseLanguage
groundSurfaceType
"地面类型")
domainEnglishFormat.kif 26718-26718
(
termFormat
ChineseTraditionalLanguage
groundSurfaceType
"地面類型")
domainEnglishFormat.kif 26717-26717
(
termFormat
EnglishLanguage
groundSurfaceType
"ground surface type")
domainEnglishFormat.kif 26716-26716
antecedent
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Loam
))
(
attribute
?area
FertileTerrain
))
Geography.kif 4355-4359
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Rock
))
(
not
(
attribute
?area
FertileTerrain
)))
Geography.kif 1824-1828
(=>
(
and
(
instance
?area
LandArea
)
(
groundSurfaceType
?area ?type1)
(
groundSubsurfaceType
?area ?type2))
(
exists
(?above ?below)
(
and
(
instance
?above ?type1)
(
instance
?below ?type2)
(
orientation
?above ?below
Above
))))
Geography.kif 4288-4297
consequent
(=>
(
instance
?DESERT
Desert
)
(
or
(
groundSurfaceType
?DESERT
Rock
)
(
groundSurfaceType
?DESERT
Sand
)))
Geography.kif 6627-6631
appearance as argument number 0
(
groundSurfaceType
Mountain
Rock
)
Geography.kif 4040-4040
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