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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Injecting
Injecting(注射)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3040-3041
No TPTP formula. May not be expressible in strict first order. Merge.kif 11435-11436
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1808-1809
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4735-4735
No TPTP formula. May not be expressible in strict first order. Merge.kif 11433-11433 注射 是 插入 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 283-283 注射 是 炭疽杆菌 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 357-357 注射 是 burkholderia mallei 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 373-373 注射 是 burkholderia 假单胞菌 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1507-1507 注射 是 破伤风梭菌 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1921-1921 注射 是 克里米亚刚果出血热病毒 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1641-1641 注射 是 登革热病毒 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1690-1690 注射 是 东部马脑炎病毒 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1783-1783 注射 是 A型肝炎病毒 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1795-1795 注射 是 B型肝炎病毒 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1806-1806 注射 是 C型肝炎病毒 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1704-1704 注射 是 日本脑炎病毒 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1661-1661 注射 是 拉克罗斯病毒 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1616-1616 注射 是 疟疾疟原虫 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1736-1736 注射 是 马尔堡病毒 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1234-1234 注射 是 猴痘病毒 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1675-1675 注射 是 圣路易斯脑炎病毒 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 2025-2025 注射 是 蜱传脑炎病毒 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1628-1628 注射 是 西尼罗河病毒 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30151-30151
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30150-30150
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30149-30149

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 561-561 神经毒剂 biochemical 病毒解毒制剂 阿托品 对于 注射
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5086-5086 Ondansetron 是 对于 注射 的 dis​​ease 治愈 Nausea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5088-5088 Ondansetron 是 对于 注射 的 dis​​ease 治愈 Vomiting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3624-3624 RheumatoidArthritis 是 对于 注射 的 dis​​ease 治愈 Clarithromycin
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5269-5269 RheumatoidArthritis 是 对于 注射 的 dis​​ease 治愈 Sarilumab

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3628-3644
No TPTP formula. May not be expressible in strict first order. Merge.kif 11438-11446

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1374-1381
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1347-1353
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6378-6390
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6370-6376


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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