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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FormerSovietOrEasternEuropeanCountry

Sigma KEE - FormerSovietOrEasternEuropeanCountry
FormerSovietOrEasternEuropeanCountry(former soviet or eastern european country)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 193-204
No TPTP formula. May not be expressible in strict first order. Economy.kif 182-182 Former soviet or eastern european country is an instance of UN economic development level
No TPTP formula. May not be expressible in strict first order. Economy.kif 187-187 Former soviet or eastern european country is an immediate successor attribute of developed country

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 186-186 "Second World" is a former name for former soviet or eastern european country
No TPTP formula. May not be expressible in strict first order. Economy.kif 185-185 Former soviet or eastern european country has name "Former Eastern European"
No TPTP formula. May not be expressible in strict first order. Economy.kif 183-183 Former soviet or eastern european country has name "Former Soviet or Eastern European Country"
No TPTP formula. May not be expressible in strict first order. Economy.kif 184-184 Former soviet or eastern european country has name "Former Soviet"
No TPTP formula. May not be expressible in strict first order. Economy.kif 209-209 Less developed country is an immediate successor attribute of former soviet or eastern european country
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24747-24747
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24746-24746
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24745-24745

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 189-191


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