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
The number 1 argument of
ground subsurface type
is an
instance
of
land area
(
domainSubclass
groundSubsurfaceType
2
Substance
)
Geography.kif 4286-4286
The number 2 argument of
ground subsurface type
is a
subclass
of
substance
(
instance
groundSubsurfaceType
BinaryPredicate
)
Geography.kif 4281-4281
ground subsurface type
is an
instance
of
binary predicate
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
If
a land area
is an
instance
of
land area
and
a kind of substance
is a
ground
surface type of
the land area
and
another kind of substance
is a
ground
subsurface type of
the land area
,
then there exist
an object
and
another object
such that
the object
is an
instance
of
a kind of substance
and
the other object
is an
instance
of
another kind of substance
and
the object
is
above
to
the other object
appearance as argument number 0
(
groundSubsurfaceType
Mountain
Rock
)
Geography.kif 4041-4041
Rock
is a
ground
subsurface type of
mountain
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