Waterway - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Waterway

Waterway(水路)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5578-5580
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5576-5576	子類水路 and 公交專用道
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5577-5577	子類水路 and WaterArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1669-1669	例北海航線 and 水路
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1660-1660	例西北通道 and 水路
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5593-5593	子類運河 and 水路
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1691-1691	子類運河鎖 and 水路
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1690-1690	子類渠道 and 水路
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1693-1693	子類港口 and 水路
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1680-1680	子類海道 and 水路
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1679-1679	子類運輸渠道 and 水路
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1678-1678	子類航道 and 水路
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2983-2983	子類水交界處 and 水路
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62517-62517
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62516-62516
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62515-62515

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2667-2673	例 WaterArea and 水路對於 WaterArea 從 Physical 的 depth 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfLength 少於 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是草案 WaterArea 的 navigable
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5582-5588	例 Physical and 水路有目的 Physical and entity 例 entity and 水運路徑 entity and Physical

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 656-663	LengthMeasure 是 GeographicArea 的 total 水路長路 length 卡帕 SymbolicString and 例 SymbolicString and 水路部分位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1683-1688	例 Object and 河 SelfConnectedObject 是對於交通類別 Object 的 trafficable 子類 SelfConnectedObject and 水車例 Object and 水路
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 665-673	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 水路長路例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and 水路位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 856-862	例 Object and 河港 Object 例 Object and 河例 Object and 水路空間的符合 Object and Object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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