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 例 蒙特利爾加拿大 and City
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 746-746 部分 蒙特利爾加拿大 and 加拿大

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


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


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