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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthwestPassage

 Sigma KEE - NorthwestPassage
NorthwestPassage(西北通道)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1662-1664
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2499-2499
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1666-1666 西北通道 是 北冰洋 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1667-1667 西北通道 是 西半球 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1660-1660 西北通道 是 水路 的 instance

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1661-1661 西北通道 的名 是 "Northwest Passage"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41247-41247
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41246-41246
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41245-41245


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