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 O argumento numero 1 de MicroFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order. Merge.kif 6537-6537 MicroFn e' uma instancia de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6539-6539 O contra-dominio de MicroFn e' uma instancia de Unidade de Medida

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