Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 数量 是 疾病或综合症 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 761-761 生化药物综合症 的 1 数量 是 生化剂 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 760-760 生化药物综合症 是 二元谓语 的 instance

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
No TPTP formula. May not be expressible in strict first order. WMD.kif 1124-1129
No TPTP formula. May not be expressible in strict first order. WMD.kif 1035-1040
No TPTP formula. May not be expressible in strict first order. WMD.kif 1131-1136
No TPTP formula. May not be expressible in strict first order. WMD.kif 1773-1775

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 775-779
No TPTP formula. May not be expressible in strict first order. WMD.kif 2029-2034

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 921-929 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?AGENT biochemical 病毒解毒制剂 ?SUBSTANCE 对于 ?PROCESS 和 ?SAMPLE 是 ?SUBSTANCE 的 instance 和 ?THERAPY 是 ?PROCESS 的 instance 和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的 patient 减少 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率
No TPTP formula. May not be expressible in strict first order. WMD.kif 767-773 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒传递 和 ?PROCESS 是 ?PROCESSTYPE 的 instance 和 ?ORGANISM 经历了 ?PROCESS 增加 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率

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