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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MicroFn

 Sigma KEE - MicroFn
MicroFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2455-2457
No TPTP formula. May not be expressible in strict first order. Merge.kif 6541-6543
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1147-1149
No TPTP formula. May not be expressible in strict first order. Merge.kif 6538-6538 百万分之一函数 的 1 数量 是 测量单位 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6537-6537 百万分之一函数 是 UnitOfMeasureMultiplier 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6539-6539 百万分之一函数 的 range 是 测量单位 的实例

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 645-645
No TPTP formula. May not be expressible in strict first order. english_format.kif 648-648
No TPTP formula. May not be expressible in strict first order. french_format.kif 389-389
No TPTP formula. May not be expressible in strict first order. relations-it.txt 186-186
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2119-2119
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 341-341
No TPTP formula. May not be expressible in strict first order. relations-de.txt 842-842
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 224-224
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 411-411
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 432-432
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37433-37433
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 646-646
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37432-37432
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37431-37431

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 823-840
No TPTP formula. May not be expressible in strict first order. Merge.kif 6545-6549

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1439-1439 1.0 公克 的一千倍 是 0.0004 公克 的百万分之一 的 per 是 葡萄球菌肠毒素b 的 effective 剂量
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 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 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