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
The number 1 argument of
ground surface type
is an
instance
of
land area
(
domainSubclass
groundSurfaceType
2
Substance
)
Geography.kif 4279-4279
The number 2 argument of
ground surface type
is a
subclass
of
substance
(
instance
groundSurfaceType
BinaryPredicate
)
Geography.kif 4275-4275
ground surface type
is an
instance
of
binary predicate
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
If
a land area
is an
instance
of
geographic area
and
loam
is a
ground
surface type of
the land area
,
then
fertile terrain
is an
attribute
of
the land area
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Rock
))
(
not
(
attribute
?area
FertileTerrain
)))
Geography.kif 1824-1828
If
a land area
is an
instance
of
geographic area
and
rock
is a
ground
surface type of
the land area
,
then
fertile terrain
is not an
attribute
of
the land area
(=>
(
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
consequent
(=>
(
instance
?DESERT
Desert
)
(
or
(
groundSurfaceType
?DESERT
Rock
)
(
groundSurfaceType
?DESERT
Sand
)))
Geography.kif 6627-6631
If
a land area
is an
instance
of
desert
,
then
rock
is a
ground
surface type of
the land area
or
sand
is a
ground
surface type of
the land area
appearance as argument number 0
(
groundSurfaceType
Mountain
Rock
)
Geography.kif 4040-4040
Rock
is a
ground
surface 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