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
groundSubsurfaceType
Sigma KEE - groundSubsurfaceType
groundSubsurfaceType
appearance as argument number 1
(
documentation
groundSubsurfaceType
EnglishLanguage
"(
groundSubsurfaceType
?area ?subsoil) means that the predominant
Substance
in the subsoil or subsurface layer of the
LandArea
?area is of type ?subsoil.")
Geography.kif 4282-4284
(
domain
groundSubsurfaceType
1
LandArea
)
Geography.kif 4285-4285
(
domainSubclass
groundSubsurfaceType
2
Substance
)
Geography.kif 4286-4286
(
instance
groundSubsurfaceType
BinaryPredicate
)
Geography.kif 4281-4281
appearance as argument number 2
(
format
ChineseLanguage
groundSubsurfaceType
"%2 %n 是 %1 表面下的 ground ")
domainEnglishFormat.kif 1129-1129
(
format
ChineseTraditionalLanguage
groundSubsurfaceType
"%2 %n 是 %1 表面下的 ground ")
domainEnglishFormat.kif 1128-1128
(
format
EnglishLanguage
groundSubsurfaceType
"%2 is %n a ground subsurface type of %1")
domainEnglishFormat.kif 1127-1127
(
termFormat
ChineseLanguage
groundSubsurfaceType
"地下表面类型")
domainEnglishFormat.kif 26712-26712
(
termFormat
ChineseTraditionalLanguage
groundSubsurfaceType
"地下表面類型")
domainEnglishFormat.kif 26711-26711
(
termFormat
EnglishLanguage
groundSubsurfaceType
"ground subsurface type")
domainEnglishFormat.kif 26710-26710
antecedent
(=>
(
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
appearance as argument number 0
(
groundSubsurfaceType
Mountain
Rock
)
Geography.kif 4041-4041
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