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:
(=>
(
and
(
sheddingLeaves
?T ?L)
(
instance
?T
DeciduousTree
)
(
instance
?L
PlantLeaf
))
(
exists
(?SHED ?S)
(
and
(
subclass
?SHED
Removing
)
(
frequency
?SHED
YearDuration
)
(
instance
?S ?SHED)
(
origin
?S ?T)
(
patient
?S ?L))))
Geography.kif 6393-6404
If
a plant
is a
Removing
a plant leaf
from its stems and
the plant
is an
instance
of
deciduous tree
and
the plant leaf
is an
instance
of
plant leaf
,
then there exist
a kind of process
and
another process
such that
a kind of process
is a
subclass
of
removing
and
the kind of process
occur
s every
year duration
and
the other process
is an
instance
of
the kind of process
and
the other process
originate
s at
the plant
and
the plant leaf
is a
patient
of
the other process
(
subclass
Removing
Transfer
)
Merge.kif 11400-11400
Removing
is a
subclass
of
transfer
(
subclass
Exfiltration
Removing
)
MilitaryProcesses.kif 250-250
Exfiltration
is a
subclass
of
removing
(
subclass
Excreting
Removing
)
Mid-level-ontology.kif 2113-2113
Excreting
is a
subclass
of
removing
(
subclass
Sweeping
Removing
)
Mid-level-ontology.kif 5563-5563
Sweeping
is a
subclass
of
removing
(
subclass
Washing
Removing
)
Mid-level-ontology.kif 5573-5573
Washing
is a
subclass
of
removing
(
subclass
HairRemoval
Removing
)
Mid-level-ontology.kif 11804-11804
Hair removal
is a
subclass
of
removing
(
subclass
Peeling
Removing
)
Mid-level-ontology.kif 11815-11815
Peeling
is a
subclass
of
removing
(
subclass
Harvesting
Removing
)
Mid-level-ontology.kif 18071-18071
Harvesting
is a
subclass
of
removing
(
subclass
Circumision
Removing
)
Mid-level-ontology.kif 21054-21054
Circumision
is a
subclass
of
removing
(
subclass
Aborting
Removing
)
Mid-level-ontology.kif 21490-21490
Aborting
is a
subclass
of
removing
(
subclass
Birth
Removing
)
Mid-level-ontology.kif 24007-24007
Birth
is a
subclass
of
removing
(
subclass
Biopsy
Removing
)
Mid-level-ontology.kif 24084-24084
Biopsy
is a
subclass
of
removing
(
subclass
Uncovering
Removing
)
Merge.kif 11415-11415
Uncovering
is a
subclass
of
removing
(
subclass
Drying
Removing
)
Merge.kif 12795-12795
Drying
is a
subclass
of
removing
(
subclass
Thoracentesis
Removing
)
Medicine.kif 878-878
Needle decompression
is a
subclass
of
removing
(
subclass
Amputating
Removing
)
Medicine.kif 6248-6248
Amputation
is a
subclass
of
removing
(
subclass
Deforestation
Removing
)
Geography.kif 2654-2654
Deforestation
is a
subclass
of
removing
(
subclass
Dredging
Removing
)
Geography.kif 2656-2656
Dredging
is a
subclass
of
removing
(
subclass
Erosion
Removing
)
Geography.kif 2674-2674
Erosion
is a
subclass
of
removing
(
subclass
Sanitation
Removing
)
Geography.kif 2915-2915
Sanitation
is a
subclass
of
removing
(
subclass
Moulting
Removing
)
Geography.kif 6442-6442
Moulting
is a
subclass
of
removing
(
subclass
BleedingAir
Removing
)
Cars.kif 1513-1513
Bleeding air
is a
subclass
of
removing
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