TreeView Knowledge Base Browser - MicroFn

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 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	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 6537-6537	Micro is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6539-6539	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.	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	If a real number micrograms per kilogram(s) is equal to the per of a mass measure and another mass measure and the mass measure is equal to another real number one millionth of a gram(s) and the other mass measure is equal to a third real number 1 thousand grams(s), then there exist a process, a self connected object and another self connected object such that the process is an instance of ingesting and the self connected object is an instance of biologically active substance and the other self connected object is an instance of organism and the self connected object is a patient of the process and the other self connected object is an agent of the process and the mass measure is a weight of the self connected object and the other mass measure is a weight of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6545-6549	If an unit of measure is an instance of unit of measure and another unit of measure is equal to one millionth of a the unit of measure, then 1 the other unit of measure(s) is equal to 0.000001 the unit of measure(s)

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