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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MontrealCanada
MontrealCanada(montreal canada)Montreal

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 Montreal canada is an instance of city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 746-746 Montreal canada is a part of canada

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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