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
Die Zahl 1 Argument von
groundSurfaceType
ist ein
fall
von
LandArea
%n{nicht}
(
domainSubclass
groundSurfaceType
2
Substance
)
Geography.kif 4279-4279
Die Zahl 2 Argument von
groundSurfaceType
ist eine
teilkategorie
von
Substance
%n{nicht}
(
instance
groundSurfaceType
BinaryPredicate
)
Geography.kif 4275-4275
groundSurfaceType
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
LandArea
ist ein
fall
von
GeographicArea
%n{nicht} und
groundSurfaceType
** LandArea
and
Loam
,
dann
FertileTerrain
ist ein
attribut
von
** LandArea
%n{nicht}
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Rock
))
(
not
(
attribute
?area
FertileTerrain
)))
Geography.kif 1824-1828
Wenn
LandArea
ist ein
fall
von
GeographicArea
%n{nicht} und
groundSurfaceType
** LandArea
and
Rock
,
dann
FertileTerrain
ist ein
attribut
von
** LandArea
nicht
(=>
(
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
Wenn
LandArea
ist ein
fall
von
LandArea
%n{nicht} und
groundSurfaceType
** LandArea
and
** Substance
und
groundSubsurfaceType
** LandArea
and
** ** Substance
,
dann es gibt
Object
und
** Object
um
** Object
ist ein
fall
von
** Substance
%n{nicht} und
** ** Object
ist ein
fall
von
** ** Substance
%n{nicht} und
** Object
ist
Above
hinsichlich
** ** Object
%n{nicht}
consequent
(=>
(
instance
?DESERT
Desert
)
(
or
(
groundSurfaceType
?DESERT
Rock
)
(
groundSurfaceType
?DESERT
Sand
)))
Geography.kif 6627-6631
Wenn
LandArea
ist ein
fall
von
Desert
%n{nicht},
dann
groundSurfaceType
** LandArea
and
Rock
oder
groundSurfaceType
** LandArea
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