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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Georgia
Georgia(georgia)
Empire_State_of_the_South, GA, Georgia, Peach_State

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 934-934
No TPTP formula. May not be expressible in strict first order. pictureList.kif 459-459
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 930-930 Georgia is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 933-933 Georgia meets alabama
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 932-932 Georgia meets Florida
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 931-931 Georgia meets north atlantic ocean

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1097-1097 South Carolina meets georgia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 711-711 Atlanta georgia is a part of georgia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 795-795 Savannah georgia is a part of georgia
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25848-25848
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25847-25847
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25846-25846


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