Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
biochemicalAgentSyndrome
Sigma KEE - biochemicalAgentSyndrome
biochemicalAgentSyndrome
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
WMD.kif 763-765
No TPTP formula. May not be expressible in strict first order.
WMD.kif 762-762
域
生化藥物綜合症
, 2 and
DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.
WMD.kif 761-761
域子類
生化藥物綜合症
, 1 and
生化劑
No TPTP formula. May not be expressible in strict first order.
WMD.kif 760-760
例
生化藥物綜合症
and
BinaryPredicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 296-296
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 295-295
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 294-294
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 11045-11045
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 11044-11044
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 11043-11043
antecedent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 775-779
DiseaseOrSyndrome
是
生化劑
的
biochemical
病毒徵兆
DiseaseOrSyndrome
是
DiseaseOrSyndrome
的
disease
病狀
DiseaseOrSyndrome
是
生化劑
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1124-1129
例
Entity
and
細菌劑
例
Entity
and
生化劑
DiseaseOrSyndrome
是
生化劑
的
biochemical
病毒徵兆
例
DiseaseOrSyndrome
and
細菌性疾病
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1035-1040
例
DiseaseOrSyndrome
and
危及生命的疾病
例
Entity
and
生化劑
DiseaseOrSyndrome
是
生化劑
的
biochemical
病毒徵兆
例
Entity
and
危及生命的特工
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1131-1136
例
Entity
and
病毒劑
例
Entity
and
生化劑
DiseaseOrSyndrome
是
生化劑
的
biochemical
病毒徵兆
例
DiseaseOrSyndrome
and
病毒性疾病
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1773-1775
DiseaseOrSyndrome
是
肝炎病毒
的
biochemical
病毒徵兆
例
DiseaseOrSyndrome
and
肝炎
consequent
No TPTP formula. May not be expressible in strict first order.
WMD.kif 775-779
DiseaseOrSyndrome
是
生化劑
的
biochemical
病毒徵兆
DiseaseOrSyndrome
是
DiseaseOrSyndrome
的
disease
病狀
DiseaseOrSyndrome
是
生化劑
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 2029-2034
子類
生化劑
and
蜱傳腦炎病毒
DiseaseOrSyndrome
例
DiseaseOrSyndrome
and
蜱傳腦炎
DiseaseOrSyndrome
是
生化劑
的
biochemical
病毒徵兆
statement
No TPTP formula. May not be expressible in strict first order.
WMD.kif 921-929
降低可能性
?SYMPTOM 是 ?AGENT 的
biochemical
病毒徵兆 ?AGENT
biochemical
病毒解毒製劑 ?SUBSTANCE 對於 ?PROCESS
例
?SAMPLE and ?SUBSTANCE
例
?THERAPY and ?PROCESS
體驗者
?THERAPY and ?ORGANISM
患者
?THERAPY and ?SAMPLE and
attribute
?ORGANISM and ?SYMPTOM
No TPTP formula. May not be expressible in strict first order.
WMD.kif 767-773
增加可能性
?SYMPTOM 是 ?AGENT 的
biochemical
病毒徵兆 ?PROCESSTYPE 是 ?AGENT 的
biochemical
病毒傳遞
例
?PROCESS and ?PROCESSTYPE
體驗者
?PROCESS and ?ORGANISM and
attribute
?ORGANISM and ?SYMPTOM
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
WMD.kif 293-293
吸入性炭疽
是
霧化的炭疽芽孢桿菌
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1829-1829
黃曲霉毒素中毒
是
黃曲霉毒素
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 280-280
炭疽病
是
炭疽桿菌
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1587-1587
百日咳
是
百日咳博德特氏菌
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1422-1422
LymeDisease
是
Borrelia
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 327-327
肉毒中毒
是
肉毒桿菌毒素
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 387-387
波狀熱
是
布魯氏菌
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 358-358
馬鼻疽
是
burkholderia mallei
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 376-376
類鼻疽
是
burkholderia 假單胞菌
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1596-1596
鸚鵡學舌
是
衣原體鸚鵡熱
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 614-614
胃腸炎
是
氯化苦
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1508-1508
破傷風
是
破傷風梭菌
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1398-1398
裂谷熱
是
球孢子菌 posadasii
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1386-1386
裂谷熱
是
球孢子菌絲蟲
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1471-1471
麻痺性貝類中毒
是
芋螺毒素
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1897-1897
白喉
是
白喉棒狀桿菌
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1249-1249
Q發燒
是
coxiella burnetii
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1920-1920
克里米亞剛果出血熱
是
克里米亞剛果出血熱病毒
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1639-1639
登革熱
是
登革熱病毒
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1640-1640
登革熱出血熱
是
登革熱病毒
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1691-1691
東部馬腦炎
是
東部馬腦炎病毒
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1196-1196
埃博拉出血熱
是
伊波拉病毒
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1206-1206
兔熱病
是
弗朗西斯 土拉弗朗西斯菌
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1364-1364
胃腸炎
是
賈第鞭毛蟲
的
biochemical
病毒徵兆
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1950-1950
委內瑞拉出血熱
是
瓜納里託病毒
的
biochemical
病毒徵兆
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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