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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NewMexico

 Sigma KEE - NewMexico
NewMexico

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1049-1049
No TPTP formula. May not be expressible in strict first order. pictureList.kif 621-621
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1046-1046 NewMexico est une instance de AmericanState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1047-1047 NewMexico rencontre Arizona
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1048-1048 NewMexico rencontre Mexico

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 905-905 California rencontre NewMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 911-911 Colorado rencontre NewMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1111-1111 Texas rencontre NewMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1121-1121 Utah rencontre NewMexico
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40317-40317
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40316-40316
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40315-40315


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