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
O argumento numero 1 de
groundSurfaceType
e' uma
instancia
de
Area terrestre
(
domainSubclass
groundSurfaceType
2
Substance
)
Geography.kif 4279-4279
O argumento numero 2 de
groundSurfaceType
e' uma
sub
-classe de
Substancia
(
instance
groundSurfaceType
BinaryPredicate
)
Geography.kif 4275-4275
groundSurfaceType
e' uma
instancia
de
Predicado Binario
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
Area terrestre
e' uma
instancia
de
Area Geografica
groundSurfaceType
Area terrestre
and
Loam
FertileTerrain
e' um
atributo
de
Area terrestre
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Rock
))
(
not
(
attribute
?area
FertileTerrain
)))
Geography.kif 1824-1828
Area terrestre
e' uma
instancia
de
Area Geografica
groundSurfaceType
Area terrestre
and
Rock
FertileTerrain
e' um
atributo
de
Area terrestre
(=>
(
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
consequent
(=>
(
instance
?DESERT
Desert
)
(
or
(
groundSurfaceType
?DESERT
Rock
)
(
groundSurfaceType
?DESERT
Sand
)))
Geography.kif 6627-6631
Area terrestre
e' uma
instancia
de
Desert
groundSurfaceType
Area terrestre
and
Rock
groundSurfaceType
Area terrestre
and
Sand
appearance as argument number 0
(
groundSurfaceType
Mountain
Rock
)
Geography.kif 4040-4040
groundSurfaceType
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