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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Waterway

 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 水路 是 公交专用道 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 5577-5577 水路 是 水域 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1669-1669 北海航线 是 水路 的 instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1660-1660 西北通道 是 水路 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 5593-5593 运河 是 水路 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1691-1691 运河锁 是 水路 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1690-1690 渠道 是 水路 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1693-1693 港口 是 水路 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1680-1680 海道 是 水路 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1679-1679 运输渠道 是 水路 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1678-1678 航道 是 水路 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2983-2983 水交界处 是 水路 的 subclass
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
No TPTP formula. May not be expressible in strict first order. Geography.kif 5582-5588

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 656-663 长度测量 是 地理区域 的 total 水路长路 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1683-1688
No TPTP formula. May not be expressible in strict first order. Transportation.kif 665-673
No TPTP formula. May not be expressible in strict first order. Transportation.kif 856-862


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