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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiochemicalAgent
BiochemicalAgent(生化劑)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 81-81
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10519-10519
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10518-10518
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8982-8982
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8983-8983
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8984-8984
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8985-8985
No TPTP formula. May not be expressible in strict first order. WMD.kif 82-82 劃分 生化劑, 生物製劑 and 化學劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 80-80 子類 生化劑 and BiologicallyActiveSubstance

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 97-97 子類 霧化劑 and 生化劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 152-152 子類 生物製劑 and 生化劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 444-444 子類 化學劑 and 生化劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1009-1009 子類 危及生命的特工 and 生化劑
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11027-11027
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11026-11026
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11025-11025

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 913-913 生化劑解毒劑, 1 and 生化劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 782-782 域子類 生化劑遞送, 1 and 生化劑
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 796-796 域子類 有效劑量, 1 and 生化劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 843-843 域子類 致死劑量, 1 and 生化劑

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 110-115


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