TreeView Knowledge Base Browser - MilliFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MilliFn

MilliFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2452-2454
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6527-6529
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1144-1146
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6524-6524	The number 1 argument of milli is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6523-6523	Milli is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6525-6525	The range of milli 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 643-643
No TPTP formula. May not be expressible in strict first order.	english_format.kif 646-646
No TPTP formula. May not be expressible in strict first order.	french_format.kif 388-388
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 187-187
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2118-2118
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 340-340
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 839-839
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 410-410
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 431-431
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 644-644
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37799-37799
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37798-37798
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37797-37797

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1316-1323	If tropical climate zone is a climate type in area of a geographic area and a month is an instance of month and the geographic area average rainfall for period the month for a real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0, then wet tropical climate zone is a climate type in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6531-6535	If an unit of measure is an instance of unit of measure and another unit of measure is equal to one thousandth of a the unit of measure, then 1 the other unit of measure(s) is equal to 0.001 the unit of measure(s)

consequent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 1325-1332

If wet tropical climate zone is a climate type in area of a geographic area,
then for all a month and a real number the month is an instance of month and the geographic area average rainfall for period the month for the real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0

statement

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1840-1840	The per of 23.0 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1845-1845	The per of 5.2 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of t2 toxin

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