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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SouthCarolina
SouthCarolina(South Carolina)
Palmetto_State, SC, South_Carolina

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1098-1098
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5507-5507
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5177-5177
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5509-5509
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1095-1095 South Carolina is an instance of american state
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 1096-1096 South Carolina meets north atlantic ocean

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1064-1064 North carolina meets South Carolina
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65519-65519


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