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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SaintLouisMissouri
SaintLouisMissouri(saint louis missouri)
more pictures...		Gateway_to_the_West, Saint_Louis, St._Louis

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 784-784
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5481-5481
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5487-5487
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5488-5488
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5482-5482
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5485-5485
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 782-782 Saint louis missouri is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 783-783 Saint louis missouri is a part of missouri

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50847-50847
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50846-50846
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50845-50845


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