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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MississippiRiver

 Sigma KEE - MississippiRiver
MississippiRiver(密西西比河)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 744-744 連接的 密西西比河 and GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 741-743
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5145-5145
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5359-5359
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5357-5357
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5360-5360
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5356-5356
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5358-5358
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 739-739 例 密西西比河 and 河
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 740-740 部分 密西西比河 and 美國

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4242-4242 部分 紅河 and 密西西比河
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38049-38049
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38048-38048
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38047-38047


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