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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthwestPassage

 Sigma KEE - NorthwestPassage
NorthwestPassage(northwest passage)
Northwest_Passage

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 Northwest passage is a geographic subregion of arctic ocean
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1667-1667 Northwest passage is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1660-1660 Northwest passage is an instance of waterway

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1661-1661 Northwest passage has name "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