Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilliFn

 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 域 毫, 1 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6523-6523 例 毫 and UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6525-6525 範圍 毫 and UnitOfMeasure

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
No TPTP formula. May not be expressible in strict first order. Merge.kif 6531-6535

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 1325-1332

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1840-1840 測量 1.0 and 千 公克 是 測量 23.0 and 毫 公克 的 per 是 二乙酯scirpenol 的 lethal 劑量
No TPTP formula. May not be expressible in strict first order. WMD.kif 1845-1845 測量 1.0 and 千 公克 是 測量 5.2 and 毫 公克 的 per 是 t2毒素 的 lethal 劑量


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