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 Le nombre 1 argument de MicroFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6537-6537 MicroFn est une instance de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6539-6539 Le domaine de MicroFn est une instance de unit� de mesure

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 effectiveDose StaphylococcalEnterotoxinB and PerFn 0.0004 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 439-439 lethalDose AbrinToxin and PerFn 0.04 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 310-310 lethalDose Batrachotoxin and PerFn 2.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 325-325 lethalDose BotulinumToxin and PerFn 0.001 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 431-431 lethalDose RicinToxin and PerFn 3.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 586-586 lethalDose Sarin and PerFn 100.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1339-1339 lethalDose ShigaToxin and PerFn 0.002 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 582-582 lethalDose Soman and PerFn 64.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1440-1440 lethalDose StaphylococcalEnterotoxinB and PerFn 0.02 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 599-599 lethalDose VX and PerFn 15.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)


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