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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mile

 Sigma KEE - Mile
Mile(英里)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2593-2593
No TPTP formula. May not be expressible in strict first order. Merge.kif 7198-7198
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1302-1302
No TPTP formula. May not be expressible in strict first order. Merge.kif 7197-7197 英里 是 UnitOfLength 的 instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37523-37523
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37522-37522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37521-37521

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Sports.kif 295-302
No TPTP formula. May not be expressible in strict first order. Sports.kif 281-288
No TPTP formula. May not be expressible in strict first order. Transportation.kif 135-143
No TPTP formula. May not be expressible in strict first order. Transportation.kif 163-171
No TPTP formula. May not be expressible in strict first order. Transportation.kif 107-115

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1702-1708 函数量 equal 实数 英里每小時 若且唯若 那个 函数量 equal 那个 实数 英里 除以 1 小时
No TPTP formula. May not be expressible in strict first order. Weather.kif 693-706
No TPTP formula. May not be expressible in strict first order. Geography.kif 3877-3883
No TPTP formula. May not be expressible in strict first order. Geography.kif 3912-3919
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 773-776

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2793-2793 臭氧盾 是 25.0 英里 above 地表
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13696-13700 1.0 平方英里 equal 1.0 英里 是 1.0 英里 的 per
No TPTP formula. May not be expressible in strict first order. Merge.kif 7200-7202 实数 英里 equal 那个 实数 和 1609.344 仪表


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