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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CorsicaFrance

 Sigma KEE - CorsicaFrance
CorsicaFrance(科西嘉島法國)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1639-1639
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4117-4117
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4118-4118
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4115-4115
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4116-4116
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3975-3975
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4114-4114
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2750-2750 科西嘉島法國 是 法國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1638-1638 例 科西嘉島法國 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2751-2751 名 "Corsica" and 科西嘉島法國
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17406-17406
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17405-17405
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17404-17404


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