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

Formal Language: 



KB Term:  Term intersection
English Word: 

  effectiveDose

Sigma KEE - effectiveDose
effectiveDose

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 798-801
No TPTP formula. May not be expressible in strict first order. WMD.kif 797-797 有效剂量 的 2 数量 是 函数量instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 796-796 有效剂量 的 1 数量 是 生化剂subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 795-795 有效剂量二元谓语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 832-832
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 831-831
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 830-830
No TPTP formula. May not be expressible in strict first order. WMD.kif 845-845 致死剂量有效剂量 是 内部相关
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21294-21294
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21293-21293
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21292-21292

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 851-858
No TPTP formula. May not be expressible in strict first order. WMD.kif 803-810

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1439-1439 1.0 公克 的一千倍 是 0.0004 公克 的百万分之一 的 per葡萄球菌肠毒素beffective 剂量


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