subclass
(=>
(
diseaseMedicine
?DISEASE
Bacitracin
?PROCESS)
(
and
(
instance
?DISEASE
BacterialDisease
)
(
subclass
?PROCESS
Putting
)))
WMD.kif 1322-1326
Wenn
diseaseMedicine
DiseaseOrSyndrome
,
Bacitracin
and
** Process
,
dann
** DiseaseOrSyndrome
ist ein
fall
von
BacterialDisease
%n{nicht} und
** Process
ist eine
teilkategorie
von
Putting
(=>
(
diseaseMedicine
?DISEASE
OralAntibiotic
?PROCESS)
(
subclass
?PROCESS
Ingesting
))
WMD.kif 1288-1290
Wenn
diseaseMedicine
DiseaseOrSyndrome
,
OralAntibiotic
and
** Process
,
dann
** Process
ist eine
teilkategorie
von
Ingesting
(=>
(
diseaseMedicine
?DISEASE
TopicalAntibiotic
?PROCESS)
(
subclass
?PROCESS
Covering
))
WMD.kif 1315-1317
Wenn
diseaseMedicine
DiseaseOrSyndrome
,
TopicalAntibiotic
and
** Process
,
dann
** Process
ist eine
teilkategorie
von
Covering
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2950-2955
Wenn
Class
wird zusammenhanglos auf @ROW disjunkt,
dann fuer alle
** Class
wenn
** ** Class
ist ein
Mitglied
von (@ROW),
dann
** ** Class
ist eine
teilkategorie
von
** Class
(=>
(
equal
?C
(
AgentOfOrganismFn
CoccidiodesPosadasii
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1393-1396
Wenn
** BiologicalAgent
ist gleich
AgentOfOrganismFn
CoccidiodesPosadasii
%n{nicht},
dann
** BiologicalAgent
ist eine
teilkategorie
von
LifeThreateningAgent
(=>
(
equal
?C
(
AgentOfOrganismFn
CoccidioidesImmitis
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1381-1384
Wenn
** BiologicalAgent
ist gleich
AgentOfOrganismFn
CoccidioidesImmitis
%n{nicht},
dann
** BiologicalAgent
ist eine
teilkategorie
von
LifeThreateningAgent
(=>
(
equal
?C
(
AgentOfOrganismFn
SerratiaMarcenscens
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1371-1374
Wenn
** BiologicalAgent
ist gleich
AgentOfOrganismFn
SerratiaMarcenscens
%n{nicht},
dann
** BiologicalAgent
ist eine
teilkategorie
von
LifeThreateningAgent
(=>
(
equal
?C
(
AgentOfOrganismFn
TickBorneEncephalitisVirus
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 2019-2022
Wenn
** BiologicalAgent
ist gleich
AgentOfOrganismFn
TickBorneEncephalitisVirus
%n{nicht},
dann
** BiologicalAgent
ist eine
teilkategorie
von
LifeThreateningAgent
(=>
(
equal
?C
(
AgentOfOrganismFn
YersiniaPestis
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 401-404
Wenn
** BiologicalAgent
ist gleich
AgentOfOrganismFn
YersiniaPestis
%n{nicht},
dann
** BiologicalAgent
ist eine
teilkategorie
von
LifeThreateningAgent
(=>
(
equal
?CLASS
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?CLASS ?TYPE))
Geography.kif 6921-6923
Wenn
** GeographicArea
ist gleich
GeographicPartTypeFn
** ** GeographicArea
and
** GeographicArea
%n{nicht},
dann
** GeographicArea
ist eine
teilkategorie
von
** ** GeographicArea
(=>
(
equal
?P
(
PlantFn
Apple
))
(
subclass
?P
DeciduousTree
))
Food.kif 2184-2186
Wenn
** Plant
ist gleich
PlantFn
Apple
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
DeciduousTree
(=>
(
equal
?P
(
PlantFn
Basil
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2170-2172
Wenn
** Plant
ist gleich
PlantFn
Basil
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Blueberry
))
(
subclass
?P
Shrub
))
Food.kif 2210-2212
Wenn
** Plant
ist gleich
PlantFn
Blueberry
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
Shrub
(=>
(
equal
?P
(
PlantFn
Broccoli
))
(
subclass
?P
CabbagePlant
))
Food.kif 2396-2398
Wenn
** Plant
ist gleich
PlantFn
Broccoli
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
CabbagePlant
(=>
(
equal
?P
(
PlantFn
ButternutSquash
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2403-2405
Wenn
** Plant
ist gleich
PlantFn
ButternutSquash
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
CashewNut
))
(
subclass
?P
BotanicalTree
))
Food.kif 2421-2423
Wenn
** Plant
ist gleich
PlantFn
CashewNut
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
BotanicalTree
(=>
(
equal
?P
(
PlantFn
Celery
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2427-2429
Wenn
** Plant
ist gleich
PlantFn
Celery
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Cilantro
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2529-2531
Wenn
** Plant
ist gleich
PlantFn
Cilantro
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Garlic
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2584-2586
Wenn
** Plant
ist gleich
PlantFn
Garlic
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Mint
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2672-2674
Wenn
** Plant
ist gleich
PlantFn
Mint
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Mustard
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2696-2698
Wenn
** Plant
ist gleich
PlantFn
Mustard
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Parsley
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2733-2735
Wenn
** Plant
ist gleich
PlantFn
Parsley
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Scallion
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3360-3362
Wenn
** Plant
ist gleich
PlantFn
Scallion
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Sesame
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3397-3399
Wenn
** Plant
ist gleich
PlantFn
Sesame
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Strawberry
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3483-3485
Wenn
** Plant
ist gleich
PlantFn
Strawberry
%n{nicht},
dann
** Plant
ist eine
teilkategorie
von
HerbaceousPlant
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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