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
地面类型
的 1 数量 是
土地面积
的
instance
(
domainSubclass
groundSurfaceType
2
Substance
)
Geography.kif 4279-4279
地面类型
的 2 数量 是
物质
的
subclass
(
instance
groundSurfaceType
BinaryPredicate
)
Geography.kif 4275-4275
地面类型
是
二元谓语
的
instance
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
如果
土地面积
是
地理区域
的
instance
和
壤土
是
那个 土地面积
的
ground
表面类别,
然后
肥沃的地形
是
那个 土地面积
的
attribute
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Rock
))
(
not
(
attribute
?area
FertileTerrain
)))
Geography.kif 1824-1828
如果
土地面积
是
地理区域
的
instance
和
岩石
是
那个 土地面积
的
ground
表面类别,
然后
肥沃的地形
不 是
那个 土地面积
的
attribute
(=>
(
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
如果
土地面积
是
土地面积
的
instance
和
有点 物质
是
那个 土地面积
的
ground
表面类别 和
另一个 有点 物质
是
那个 土地面积
表面下的
ground
,
然后 有存在
客体
和
另一个 客体
这样
那个 客体
是
有点 物质
的
instance
和
那个 另外 客体
是
另一个 有点 物质
的
instance
和
那个 客体
在
那个 另外 客体
的
以上
consequent
(=>
(
instance
?DESERT
Desert
)
(
or
(
groundSurfaceType
?DESERT
Rock
)
(
groundSurfaceType
?DESERT
Sand
)))
Geography.kif 6627-6631
如果
土地面积
是
沙漠
的
instance
,
然后
岩石
是
那个 土地面积
的
ground
表面类别 或
砂
是
那个 土地面积
的
ground
表面类别
appearance as argument number 0
(
groundSurfaceType
Mountain
Rock
)
Geography.kif 4040-4040
岩石
是
山
的
ground
表面类别
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