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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthCarolina

 Sigma KEE - SouthCarolina
SouthCarolina

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 SouthCarolina 是 美国国家 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1097-1097 SouthCarolina 接上 格鲁吉亚
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1096-1096 SouthCarolina 接上 北大西洋

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1064-1064 北卡罗来纳 接上 SouthCarolina
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65519-65519


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