subclass
(=>
(
diseaseMedicine
?DISEASE
Bacitracin
?PROCESS)
(
and
(
instance
?DISEASE
BacterialDisease
)
(
subclass
?PROCESS
Putting
)))
WMD.kif 1322-1326
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
杆菌肽
,
然后
那个 疾病或综合症
是
细菌性疾病
的
instance
和
有点 过程
是
放
的
subclass
(=>
(
diseaseMedicine
?DISEASE
OralAntibiotic
?PROCESS)
(
subclass
?PROCESS
Ingesting
))
WMD.kif 1288-1290
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
口服抗生素
,
然后
有点 过程
是
消化
的
subclass
(=>
(
diseaseMedicine
?DISEASE
TopicalAntibiotic
?PROCESS)
(
subclass
?PROCESS
Covering
))
WMD.kif 1315-1317
如果
疾病或综合症
是 对于
有点 过程
的
dis
ease 治愈
外用抗生素
,
然后
有点 过程
是
遮盖
的
subclass
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2950-2955
如果
类
分拆成不相交的 @ROW,
然后 对所有
第三 类
如果
那个 第三 类
是 (@ROW) 的
member
,
然后
那个 第三 类
是
那个 类
的
subclass
(=>
(
equal
?C
(
AgentOfOrganismFn
CoccidiodesPosadasii
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1393-1396
如果
有点 生物制剂
equal
球孢子菌 posadasii
的
biological
agent
,
然后
有点 生物制剂
是
危及生命的特工
的
subclass
(=>
(
equal
?C
(
AgentOfOrganismFn
CoccidioidesImmitis
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1381-1384
如果
有点 生物制剂
equal
球孢子菌丝虫
的
biological
agent
,
然后
有点 生物制剂
是
危及生命的特工
的
subclass
(=>
(
equal
?C
(
AgentOfOrganismFn
SerratiaMarcenscens
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 1371-1374
如果
有点 生物制剂
equal
serratia marcenscens
的
biological
agent
,
然后
有点 生物制剂
是
危及生命的特工
的
subclass
(=>
(
equal
?C
(
AgentOfOrganismFn
TickBorneEncephalitisVirus
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 2019-2022
如果
有点 生物制剂
equal
蜱传脑炎病毒
的
biological
agent
,
然后
有点 生物制剂
是
危及生命的特工
的
subclass
(=>
(
equal
?C
(
AgentOfOrganismFn
YersiniaPestis
))
(
subclass
?C
LifeThreateningAgent
))
WMD.kif 401-404
如果
有点 生物制剂
equal
鼠疫耶尔森氏菌
的
biological
agent
,
然后
有点 生物制剂
是
危及生命的特工
的
subclass
(=>
(
equal
?CLASS
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?CLASS ?TYPE))
Geography.kif 6921-6923
如果
有点 地理区域
equal
另一个 有点 地理区域
所有的
instances
在
第三 地理区域
,
然后
有点 地理区域
是
另一个 有点 地理区域
的
subclass
(=>
(
equal
?P
(
PlantFn
Apple
))
(
subclass
?P
DeciduousTree
))
Food.kif 2184-2186
如果
有点 植物
equal
PlantFn
苹果
,
然后
有点 植物
是
DeciduousTree
的
subclass
(=>
(
equal
?P
(
PlantFn
Basil
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2170-2172
如果
有点 植物
equal
PlantFn
Basil
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Blueberry
))
(
subclass
?P
Shrub
))
Food.kif 2210-2212
如果
有点 植物
equal
PlantFn
Blueberry
,
然后
有点 植物
是
灌木
的
subclass
(=>
(
equal
?P
(
PlantFn
Broccoli
))
(
subclass
?P
CabbagePlant
))
Food.kif 2396-2398
如果
有点 植物
equal
PlantFn
Broccoli
,
然后
有点 植物
是
CabbagePlant
的
subclass
(=>
(
equal
?P
(
PlantFn
ButternutSquash
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2403-2405
如果
有点 植物
equal
PlantFn
ButternutSquash
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
CashewNut
))
(
subclass
?P
BotanicalTree
))
Food.kif 2421-2423
如果
有点 植物
equal
PlantFn
腰果
,
然后
有点 植物
是
植物树
的
subclass
(=>
(
equal
?P
(
PlantFn
Celery
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2427-2429
如果
有点 植物
equal
PlantFn
Celery
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Cilantro
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2529-2531
如果
有点 植物
equal
PlantFn
Cilantro
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Garlic
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2584-2586
如果
有点 植物
equal
PlantFn
Garlic
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Mint
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2672-2674
如果
有点 植物
equal
PlantFn
Mint
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Mustard
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2696-2698
如果
有点 植物
equal
PlantFn
Mustard
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Parsley
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 2733-2735
如果
有点 植物
equal
PlantFn
Parsley
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Scallion
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3360-3362
如果
有点 植物
equal
PlantFn
Scallion
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Sesame
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3397-3399
如果
有点 植物
equal
PlantFn
芝麻
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
(=>
(
equal
?P
(
PlantFn
Strawberry
))
(
subclass
?P
HerbaceousPlant
))
Food.kif 3483-3485
如果
有点 植物
equal
PlantFn
Strawberry
,
然后
有点 植物
是
HerbaceousPlant
的
subclass
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