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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Moldova

Sigma KEE - Moldova
Moldova

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3333-3333 currencyType Moldova and MoldovanLeu
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1297-1297
No TPTP formula. May not be expressible in strict first order. Economy.kif 590-590 economyType Moldova and CountryInTransition
No TPTP formula. May not be expressible in strict first order. pictureList.kif 600-600
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 304-304 geographicSubregion Moldova and EasternEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 305-305 Moldova e' uma instancia de Nacao

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4032-4032 Moldova se chama nome "Moldova"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38259-38259
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38258-38258
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38257-38257

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


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


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