TreeView Knowledge Base Browser - Mile

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	例英里 and UnitOfLength

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	例 Motion and HalfMarathon agent Motion and AutonomousAgent 路徑 Motion and 公交專用道公交專用道的 distance 是測量 RealNumber and 英里等於 RealNumber and 13.1
No TPTP formula. May not be expressible in strict first order.	Sports.kif 281-288	例 Motion and Marathon agent Motion and AutonomousAgent 路徑 Motion and 公交專用道公交專用道的 distance 是測量 RealNumber and 英里等於 RealNumber and 26.2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 135-143	測量 RealNumber and 英里是 GeographicArea 的電場軌道 length 比較多 RealNumber and 0 Physical 例 Physical and 電氣化鐵路位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 163-171	測量 RealNumber and 英里是 GeographicArea 的多軌鐵路 length 比較多 RealNumber and 0 Physical 例 Physical and 多軌鐵路位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 107-115	測量 RealNumber and 英里是 GeographicArea 的 total 鐵路系統長度比較多 RealNumber and 0 Physical 例 Physical and 鐵路位於 Physical and GeographicArea

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1702-1708	等於 FunctionQuantity and 測量 RealNumber and MilesPerHour 等於 FunctionQuantity and 速度測量 RealNumber and 英里 and 測量 1 and 小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 693-706	例 Process and 熱帶氣旋目的地 Process and Physical 例 Physical and GeographicArea Object Physical and RealNumber 例 Object and LandArea 例 Physical and 海岸線位於 Physical and Object 距離 Object, Physical and 測量 RealNumber and 英里比較多 RealNumber and 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3877-3883	等於 PhysicalQuantity and 測量 RealNumber and 海裡等於 PhysicalQuantity and 測量乘法 RealNumber and 1.151 and 英里
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3912-3919	等於 RealNumber and 乘法 1.0 and RealNumber 等於測量 RealNumber and 海裡 and 測量乘法 RealNumber and 1.151 and 英里
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 773-776	例 Device and 標槍武器測量 1.5 and 英里是 Device 的 effective 範圍

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2793-2793	臭氧盾是測量 25.0 and 英里 above 地表
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13696-13700	等於測量 1.0 and 平方英里 and 測量 1.0 and 英里是測量 1.0 and 英里的 per
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7200-7202	等於測量 RealNumber and 英里 and 測量乘法 RealNumber and 1609.344 and 儀表

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