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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MontrealCanada

 Sigma KEE - MontrealCanada
MontrealCanada(蒙特利尔加拿大)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 747-747
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 745-745 蒙特利尔加拿大 是 城市 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 746-746 蒙特利尔加拿大 是 加拿大 的 part

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38501-38501
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38500-38500
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38499-38499


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