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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 6508-6510
No TPTP formula. May not be expressible in strict first order. Merge.kif 6505-6505 The number 1 argument of micro is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6504-6504 Micro is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6506-6506 The range of micro is an instance of unit of measure

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. domainEnglishFormat.kif 37417-37417
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 37416-37416
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37415-37415

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 6512-6516

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1439-1439 The per of 0.0004 one millionth of a gram(s) and 1.0 1 thousand grams(s) is an effective dose of staphylococcal enterotoxin b
No TPTP formula. May not be expressible in strict first order. WMD.kif 439-439 The per of 0.04 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of abrin toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 310-310 The per of 2.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of batrachotoxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 325-325 The per of 0.001 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of botulinum toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 431-431 The per of 3.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of ricin toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 586-586 The per of 100.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of sarin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1339-1339 The per of 0.002 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of shiga toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 582-582 The per of 64.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of soman
No TPTP formula. May not be expressible in strict first order. WMD.kif 1440-1440 The per of 0.02 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of staphylococcal enterotoxin b
No TPTP formula. May not be expressible in strict first order. WMD.kif 599-599 The per of 15.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of VX


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