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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CaglayanTurkey

 Sigma KEE - CaglayanTurkey
CaglayanTurkey(caglayan turkey)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1583-1583
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2691-2691 Caglayan turkey is a geographic subregion of turkey
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1582-1582 Caglayan turkey is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2692-2692 Caglayan turkey has name "Caglayan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12667-12667
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12666-12666
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12665-12665


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