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	O argumento numero 1 de MilliFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6523-6523	MilliFn e' uma instancia de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6525-6525	O contra-dominio de MilliFn 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 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	climateTypeInArea Area Geografica and TropicalClimateZone Mes e' uma instancia de Mes averageRainfallForPeriod Area Geografica, Mes and Numero Real um milesimo de Meter(s) Numero Real e' maior ou igual a 60.0 climateTypeInArea Area Geografica and WetTropicalClimateZone
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6531-6535	Unidade de Medida e' uma instancia de Unidade de Medida Unidade de Medida e' igual a um milesimo de Unidade de Medida 1 Unidade de Medida(s) e' igual a 0.001 Unidade de Medida(s)

consequent

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

Geography.kif 1325-1332

climateTypeInArea Area Geografica and WetTropicalClimateZone
Mes Numero Real Mes e' uma instancia de Mes averageRainfallForPeriod Area Geografica, Mes and Numero Real um milesimo de Meter(s) Numero Real e' maior ou igual a 60.0

statement

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1840-1840	lethalDose Diacetoxyscirpenol and PerFn 23.0 um milesimo de Gram(s) and 1.0 1 mil Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1845-1845	lethalDose T2Toxin and PerFn 5.2 um milesimo 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