Term Intersection
: 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
Term 1:
Term 2:
(
subclass
GeologicalProcess
NaturalProcess
)
Merge.kif 11188-11188
Geological process
is a
subclass
of
natural process
(
subclass
GeologicalProcess
Motion
)
Merge.kif 11189-11189
Geological process
is a
subclass
of
motion
(
subclass
GeologicalProcess
InternalChange
)
Merge.kif 11190-11190
Geological process
is a
subclass
of
internal change
(
subclass
Earthquake
GeologicalProcess
)
Geography.kif 2304-2304
Earthquake
is a
subclass
of
geological process
(
subclass
EarthTremor
GeologicalProcess
)
Geography.kif 2318-2318
Earth tremor
is a
subclass
of
geological process
(
subclass
VolcanicEruption
GeologicalProcess
)
Geography.kif 2431-2431
Volcanic eruption
is a
subclass
of
geological process
(
subclass
CarbonCycle
GeologicalProcess
)
Geography.kif 2627-2627
Carbon cycle
is a
subclass
of
geological process
(
subclass
Erosion
GeologicalProcess
)
Geography.kif 2675-2675
Erosion
is a
subclass
of
geological process
(
subclass
Landslide
GeologicalProcess
)
Geography.kif 6763-6763
Landslide
is a
subclass
of
geological process
(
subclass
LandSubsidence
GeologicalProcess
)
Geography.kif 6769-6769
Land subsidence
is a
subclass
of
geological process
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
