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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SiirtTurkey

 Sigma KEE - SiirtTurkey
SiirtTurkey(siirt turkey)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2328-2328
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5657-5657
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5791-5791
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5789-5789
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5792-5792
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5790-5790
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3529-3529 Siirt turkey is a geographic subregion of turkey
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2327-2327 Siirt turkey is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3530-3530 Siirt turkey has name "Siirt"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53048-53048
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53047-53047
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53046-53046


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