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
Wenn
sheddingLeaves
Plant
and
PlantLeaf
und
** Plant
ist ein
fall
von
DeciduousTree
%n{nicht} und
** PlantLeaf
ist ein
fall
von
PlantLeaf
%n{nicht},
dann es gibt
** Process
und
** Process
um
** Process
ist eine
teilkategorie
von
Removing
und
** ** Process
gescheit
alle
YearDuration
und
** ** Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** Process
beginnet an
** Plant
%n{nicht} und
** PlantLeaf
ist ein
patient
von
** ** Process
%n{nicht}
(
subclass
Removing
Transfer
)
Merge.kif 11378-11378
Removing
ist eine
teilkategorie
von
Transfer
(
subclass
Exfiltration
Removing
)
MilitaryProcesses.kif 250-250
Exfiltration
ist eine
teilkategorie
von
Removing
(
subclass
Excreting
Removing
)
Mid-level-ontology.kif 2113-2113
Excreting
ist eine
teilkategorie
von
Removing
(
subclass
Sweeping
Removing
)
Mid-level-ontology.kif 5564-5564
Sweeping
ist eine
teilkategorie
von
Removing
(
subclass
Washing
Removing
)
Mid-level-ontology.kif 5574-5574
Washing
ist eine
teilkategorie
von
Removing
(
subclass
HairRemoval
Removing
)
Mid-level-ontology.kif 11805-11805
HairRemoval
ist eine
teilkategorie
von
Removing
(
subclass
Peeling
Removing
)
Mid-level-ontology.kif 11816-11816
Peeling
ist eine
teilkategorie
von
Removing
(
subclass
Harvesting
Removing
)
Mid-level-ontology.kif 18072-18072
Harvesting
ist eine
teilkategorie
von
Removing
(
subclass
Circumision
Removing
)
Mid-level-ontology.kif 21055-21055
Circumision
ist eine
teilkategorie
von
Removing
(
subclass
Aborting
Removing
)
Mid-level-ontology.kif 21491-21491
Aborting
ist eine
teilkategorie
von
Removing
(
subclass
Birth
Removing
)
Mid-level-ontology.kif 24008-24008
Birth
ist eine
teilkategorie
von
Removing
(
subclass
Biopsy
Removing
)
Mid-level-ontology.kif 24085-24085
Biopsy
ist eine
teilkategorie
von
Removing
(
subclass
Uncovering
Removing
)
Merge.kif 11393-11393
Uncovering
ist eine
teilkategorie
von
Removing
(
subclass
Drying
Removing
)
Merge.kif 12773-12773
Drying
ist eine
teilkategorie
von
Removing
(
subclass
Thoracentesis
Removing
)
Medicine.kif 878-878
Thoracentesis
ist eine
teilkategorie
von
Removing
(
subclass
Amputating
Removing
)
Medicine.kif 6248-6248
Amputating
ist eine
teilkategorie
von
Removing
(
subclass
Deforestation
Removing
)
Geography.kif 2654-2654
Deforestation
ist eine
teilkategorie
von
Removing
(
subclass
Dredging
Removing
)
Geography.kif 2656-2656
Dredging
ist eine
teilkategorie
von
Removing
(
subclass
Erosion
Removing
)
Geography.kif 2674-2674
Erosion
ist eine
teilkategorie
von
Removing
(
subclass
Sanitation
Removing
)
Geography.kif 2915-2915
Sanitation
ist eine
teilkategorie
von
Removing
(
subclass
Moulting
Removing
)
Geography.kif 6442-6442
Moulting
ist eine
teilkategorie
von
Removing
(
subclass
BleedingAir
Removing
)
Cars.kif 1513-1513
BleedingAir
ist eine
teilkategorie
von
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