subclass
(=>
(
diseaseMedicine
?DISEASE
Bacitracin
?PROCESS)
(
and
(
instance
?DISEASE
BacterialDisease
)
(
subclass
?PROCESS
Putting
)))
WMD.kif 1322-1326
If
a disease or syndrome
is
disease
treatment
bacitracin
for
a kind of process
,
then
the disease or syndrome
is an
instance
of
bacterial disease
and
a kind of process
is a
subclass
of
putting
(=>
(
diseaseMedicine
?DISEASE
OralAntibiotic
?PROCESS)
(
subclass
?PROCESS
Ingesting
))
WMD.kif 1288-1290
If
a disease or syndrome
is
disease
treatment
oral antibiotic
for
a kind of process
,
then
a kind of process
is a
subclass
of
ingesting
(=>
(
diseaseMedicine
?DISEASE
TopicalAntibiotic
?PROCESS)
(
subclass
?PROCESS
Covering
))
WMD.kif 1315-1317
If
a disease or syndrome
is
disease
treatment
topical antibiotic
for
a kind of process
,
then
a kind of process
is a
subclass
of
covering
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2950-2955
If
a class
is
disjointly
decomposed
into @ROW,
then for all
a third class
if
the third class
is a
member
of (@ROW),
then
the third class
is a
subclass
of
the class
(=>
(
equal
?C
(
AgentOfOrganismFn
CoccidiodesPosadasii
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1393-1396
If
a kind of biological agent
is
equal
to the
biological
agent
of
coccidiodes posadasii
,
then
a kind of biological agent
is a
subclass
of
life threatening agent
(=>
(
equal
?C
(
AgentOfOrganismFn
CoccidioidesImmitis
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1381-1384
If
a kind of biological agent
is
equal
to the
biological
agent
of
coccidioides immitis
,
then
a kind of biological agent
is a
subclass
of
life threatening agent
(=>
(
equal
?C
(
AgentOfOrganismFn
SerratiaMarcenscens
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1371-1374
If
a kind of biological agent
is
equal
to the
biological
agent
of
serratia marcenscens
,
then
a kind of biological agent
is a
subclass
of
life threatening agent
(=>
(
equal
?C
(
AgentOfOrganismFn
TickBorneEncephalitisVirus
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 2019-2022
If
a kind of biological agent
is
equal
to the
biological
agent
of
tick borne encephalitis virus
,
then
a kind of biological agent
is a
subclass
of
life threatening agent
(=>
(
equal
?C
(
AgentOfOrganismFn
YersiniaPestis
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 401-404
If
a kind of biological agent
is
equal
to the
biological
agent
of
yersinia pestis
,
then
a kind of biological agent
is a
subclass
of
life threatening agent
(=>
(
equal
?CLASS
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?CLASS ?TYPE))
Geography.kif 6921-6923
If
a kind of geographic area
is
equal
to all the
instances
of
another kind of geographic area
in
a third geographic area
,
then
a kind of geographic area
is a
subclass
of
another kind of geographic area
(=>
(
equal
?P
(
PlantFn
Apple
))
(
subclass
?P
DeciduousTree
))
Food.kif 2184-2186
If
a kind of plant
is
equal
to
plant fn
apple
,
then
a kind of plant
is a
subclass
of
deciduous tree
(=>
(
equal
?P
(
PlantFn
Basil
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2170-2172
If
a kind of plant
is
equal
to
plant fn
basil
,
then
a kind of plant
is a
subclass
of
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Blueberry
))
(
subclass
?P
Shrub
))
Food.kif 2210-2212
If
a kind of plant
is
equal
to
plant fn
blueberry
,
then
a kind of plant
is a
subclass
of
shrub
(=>
(
equal
?P
(
PlantFn
Broccoli
))
(
subclass
?P
CabbagePlant
))
Food.kif 2396-2398
If
a kind of plant
is
equal
to
plant fn
broccoli
,
then
a kind of plant
is a
subclass
of
cabbage plant
(=>
(
equal
?P
(
PlantFn
ButternutSquash
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2403-2405
If
a kind of plant
is
equal
to
plant fn
butternut squash
,
then
a kind of plant
is a
subclass
of
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
CashewNut
))
(
subclass
?P
BotanicalTree
))
Food.kif 2421-2423
If
a kind of plant
is
equal
to
plant fn
cashew nut
,
then
a kind of plant
is a
subclass
of
botanical tree
(=>
(
equal
?P
(
PlantFn
Celery
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2427-2429
If
a kind of plant
is
equal
to
plant fn
celery
,
then
a kind of plant
is a
subclass
of
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Cilantro
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2529-2531
If
a kind of plant
is
equal
to
plant fn
cilantro
,
then
a kind of plant
is a
subclass
of
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Garlic
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2584-2586
If
a kind of plant
is
equal
to
plant fn
garlic
,
then
a kind of plant
is a
subclass
of
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Mint
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2672-2674
If
a kind of plant
is
equal
to
plant fn
mint
,
then
a kind of plant
is a
subclass
of
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Mustard
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2696-2698
If
a kind of plant
is
equal
to
plant fn
mustard
,
then
a kind of plant
is a
subclass
of
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Parsley
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2733-2735
If
a kind of plant
is
equal
to
plant fn
parsley
,
then
a kind of plant
is a
subclass
of
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Scallion
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3360-3362
If
a kind of plant
is
equal
to
plant fn
scallion
,
then
a kind of plant
is a
subclass
of
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Sesame
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3397-3399
If
a kind of plant
is
equal
to
plant fn
sesame
,
then
a kind of plant
is a
subclass
of
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Strawberry
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3483-3485
If
a kind of plant
is
equal
to
plant fn
strawberry
,
then
a kind of plant
is a
subclass
of
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