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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tunisia

Sigma KEE - Tunisia
Tunisia

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3535-3535 currencyType Tunisia and TunisianDinar
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1369-1369
No TPTP formula. May not be expressible in strict first order. Economy.kif 722-722 economyType Tunisia and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 338-338 economyType Tunisia and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 801-801
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 129-129 geographicSubregion Tunisia and NorthernAfrica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 130-130 Tunisia e' uma instancia de Nacao

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2792-2792 geographicSubregion DjerbaTunisia and Tunisia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3952-3952 Tunisia se chama nome "Tunisia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59486-59486
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59485-59485
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59484-59484

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2828-2828 codeMapping ISO-3166-1-alpha-2, "TN" and Tunisia


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