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
O argumento numero 1 de
groundSubsurfaceType
e' uma
instancia
de
Area terrestre
(
domainSubclass
groundSubsurfaceType
2
Substance
)
Geography.kif 4286-4286
O argumento numero 2 de
groundSubsurfaceType
e' uma
sub
-classe de
Substancia
(
instance
groundSubsurfaceType
BinaryPredicate
)
Geography.kif 4281-4281
groundSubsurfaceType
e' uma
instancia
de
Predicado Binario
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
Area terrestre
e' uma
instancia
de
Area terrestre
groundSurfaceType
Area terrestre
and
Substancia
groundSubsurfaceType
Area terrestre
and
Substancia
Objeto
Objeto
Objeto
e' uma
instancia
de
Substancia
Objeto
e' uma
instancia
de
Substancia
Objeto
e'
Above
em relacao a
Objeto
appearance as argument number 0
(
groundSubsurfaceType
Mountain
Rock
)
Geography.kif 4041-4041
groundSubsurfaceType
Mountain
and
Rock
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