subclass
(=>
(
diseaseMedicine
?DISEASE
Bacitracin
?PROCESS)
(
and
(
instance
?DISEASE
BacterialDisease
)
(
subclass
?PROCESS
Putting
)))
WMD.kif 1322-1326
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
桿菌肽
例
DiseaseOrSyndrome
and
細菌性疾病
子類
Process
and
Putting
(=>
(
diseaseMedicine
?DISEASE
OralAntibiotic
?PROCESS)
(
subclass
?PROCESS
Ingesting
))
WMD.kif 1288-1290
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
口服抗生素
子類
Process
and
Ingesting
(=>
(
diseaseMedicine
?DISEASE
TopicalAntibiotic
?PROCESS)
(
subclass
?PROCESS
Covering
))
WMD.kif 1315-1317
DiseaseOrSyndrome
是 對於
Process
的
disease
治癒
外用抗生素
子類
Process
and
Covering
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2950-2955
不相交分解
Class
and @ROW
Class
在列表中
Class
and
名單
@ROW
子類
Class
and
Class
(=>
(
equal
?C
(
AgentOfOrganismFn
CoccidiodesPosadasii
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1393-1396
等於
生物製劑
and
球孢子菌 posadasii
的
biological
agent
子類
生物製劑
and
危及生命的特工
(=>
(
equal
?C
(
AgentOfOrganismFn
CoccidioidesImmitis
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1381-1384
等於
生物製劑
and
球孢子菌絲蟲
的
biological
agent
子類
生物製劑
and
危及生命的特工
(=>
(
equal
?C
(
AgentOfOrganismFn
SerratiaMarcenscens
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1371-1374
等於
生物製劑
and
serratia marcenscens
的
biological
agent
子類
生物製劑
and
危及生命的特工
(=>
(
equal
?C
(
AgentOfOrganismFn
TickBorneEncephalitisVirus
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 2019-2022
等於
生物製劑
and
蜱傳腦炎病毒
的
biological
agent
子類
生物製劑
and
危及生命的特工
(=>
(
equal
?C
(
AgentOfOrganismFn
YersiniaPestis
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 401-404
等於
生物製劑
and
鼠疫耶爾森氏菌
的
biological
agent
子類
生物製劑
and
危及生命的特工
(=>
(
equal
?CLASS
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?CLASS ?TYPE))
Geography.kif 6921-6923
等於
GeographicArea
and
GeographicArea
所有的
instances
在
GeographicArea
子類
GeographicArea
and
GeographicArea
(=>
(
equal
?P
(
PlantFn
Apple
))
(
subclass
?P
DeciduousTree
))
Food.kif 2184-2186
等於
Plant
and
PlantFn
蘋果
子類
Plant
and
DeciduousTree
(=>
(
equal
?P
(
PlantFn
Basil
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2170-2172
等於
Plant
and
PlantFn
Basil
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Blueberry
))
(
subclass
?P
Shrub
))
Food.kif 2210-2212
等於
Plant
and
PlantFn
Blueberry
子類
Plant
and
灌木
(=>
(
equal
?P
(
PlantFn
Broccoli
))
(
subclass
?P
CabbagePlant
))
Food.kif 2396-2398
等於
Plant
and
PlantFn
Broccoli
子類
Plant
and
CabbagePlant
(=>
(
equal
?P
(
PlantFn
ButternutSquash
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2403-2405
等於
Plant
and
PlantFn
ButternutSquash
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
CashewNut
))
(
subclass
?P
BotanicalTree
))
Food.kif 2421-2423
等於
Plant
and
PlantFn
腰果
子類
Plant
and
植物樹
(=>
(
equal
?P
(
PlantFn
Celery
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2427-2429
等於
Plant
and
PlantFn
Celery
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Cilantro
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2529-2531
等於
Plant
and
PlantFn
Cilantro
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Garlic
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2584-2586
等於
Plant
and
PlantFn
Garlic
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Mint
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2672-2674
等於
Plant
and
PlantFn
Mint
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Mustard
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2696-2698
等於
Plant
and
PlantFn
Mustard
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Parsley
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2733-2735
等於
Plant
and
PlantFn
Parsley
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Scallion
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3360-3362
等於
Plant
and
PlantFn
Scallion
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Sesame
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3397-3399
等於
Plant
and
PlantFn
芝麻
子類
Plant
and
HerbaceousPlant
(=>
(
equal
?P
(
PlantFn
Strawberry
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3483-3485
等於
Plant
and
PlantFn
Strawberry
子類
Plant
and
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