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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lethalDose

 Sigma KEE - lethalDose
lethalDose

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 846-849
No TPTP formula. May not be expressible in strict first order. WMD.kif 844-844 致死剂量 的 2 数量 是 函数量 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 843-843 致死剂量 的 1 数量 是 生化剂 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 842-842 致死剂量 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 845-845 致死剂量 和 有效剂量 是 内部相关

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1527-1527
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1526-1526
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1525-1525
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34157-34157
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34156-34156
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34155-34155

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1017-1023
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 860-867

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 439-439 1.0 公克 的一千倍 是 0.04 公克 的百万分之一 的 per 是 abrin毒素 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 310-310 1.0 公克 的一千倍 是 2.0 公克 的百万分之一 的 per 是 batrachotoxin 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 325-325 1.0 公克 的一千倍 是 0.001 公克 的百万分之一 的 per 是 肉毒杆菌毒素 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 1840-1840 1.0 公克 的一千倍 是 23.0 公克 的千分之一 的 per 是 二乙酯scirpenol 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 431-431 1.0 公克 的一千倍 是 3.0 公克 的百万分之一 的 per 是 蓖麻毒素 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 586-586 1.0 公克 的一千倍 是 100.0 公克 的百万分之一 的 per 是 沙林 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 1339-1339 1.0 公克 的一千倍 是 0.002 公克 的百万分之一 的 per 是 志贺毒素 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 582-582 1.0 公克 的一千倍 是 64.0 公克 的百万分之一 的 per 是 梭曼 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 1440-1440 1.0 公克 的一千倍 是 0.02 公克 的百万分之一 的 per 是 葡萄球菌肠毒素b 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 1845-1845 1.0 公克 的一千倍 是 5.2 公克 的千分之一 的 per 是 t2毒素 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 599-599 1.0 公克 的一千倍 是 15.0 公克 的百万分之一 的 per 是 VX 的 lethal 剂量


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