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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DjakashariGeorgia

Sigma KEE - DjakashariGeorgia
DjakashariGeorgia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1675-1675
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2790-2790 geographicSubregion DjakashariGeorgia and RepublicOfGeorgia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1674-1674 DjakashariGeorgia e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2791-2791 DjakashariGeorgia se chama nome "Djakashari"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20004-20004
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20003-20003
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20002-20002


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