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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CountryInTransition

Sigma KEE - CountryInTransition
CountryInTransition(country in transition)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 561-567
No TPTP formula. May not be expressible in strict first order. Economy.kif 559-559 Country in transition is an instance of IMF development level
No TPTP formula. May not be expressible in strict first order. Economy.kif 512-512 Country in transition is an immediate successor attribute of advanced economy

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 569-569 Country in transition is an economy type of albania
No TPTP formula. May not be expressible in strict first order. Economy.kif 570-570 Country in transition is an economy type of armenia
No TPTP formula. May not be expressible in strict first order. Economy.kif 571-571 Country in transition is an economy type of azerbaijan
No TPTP formula. May not be expressible in strict first order. Economy.kif 572-572 Country in transition is an economy type of belarus
No TPTP formula. May not be expressible in strict first order. Economy.kif 573-573 Country in transition is an economy type of bosnia and herzegovina
No TPTP formula. May not be expressible in strict first order. Economy.kif 574-574 Country in transition is an economy type of bulgaria
No TPTP formula. May not be expressible in strict first order. Economy.kif 575-575 Country in transition is an economy type of croatia
No TPTP formula. May not be expressible in strict first order. Economy.kif 576-576 Country in transition is an economy type of czech republic
No TPTP formula. May not be expressible in strict first order. Economy.kif 577-577 Country in transition is an economy type of estonia
No TPTP formula. May not be expressible in strict first order. Economy.kif 579-579 Country in transition is an economy type of hungary
No TPTP formula. May not be expressible in strict first order. Economy.kif 580-580 Country in transition is an economy type of kazakhstan
No TPTP formula. May not be expressible in strict first order. Economy.kif 581-581 Country in transition is an economy type of kyrgyzstan
No TPTP formula. May not be expressible in strict first order. Economy.kif 582-582 Country in transition is an economy type of latvia
No TPTP formula. May not be expressible in strict first order. Economy.kif 583-583 Country in transition is an economy type of lithuania
No TPTP formula. May not be expressible in strict first order. Economy.kif 584-584 Country in transition is an economy type of macedonia
No TPTP formula. May not be expressible in strict first order. Economy.kif 585-585 Country in transition is an economy type of moldova
No TPTP formula. May not be expressible in strict first order. Economy.kif 586-586 Country in transition is an economy type of mongolia
No TPTP formula. May not be expressible in strict first order. Economy.kif 587-587 Country in transition is an economy type of poland
No TPTP formula. May not be expressible in strict first order. Economy.kif 578-578 Country in transition is an economy type of republic of georgia
No TPTP formula. May not be expressible in strict first order. Economy.kif 588-588 Country in transition is an economy type of romania
No TPTP formula. May not be expressible in strict first order. Economy.kif 589-589 Country in transition is an economy type of russia
No TPTP formula. May not be expressible in strict first order. Economy.kif 590-590 Country in transition is an economy type of slovakia
No TPTP formula. May not be expressible in strict first order. Economy.kif 591-591 Country in transition is an economy type of slovenia
No TPTP formula. May not be expressible in strict first order. Economy.kif 592-592 Country in transition is an economy type of tajikistan
No TPTP formula. May not be expressible in strict first order. Economy.kif 593-593 Country in transition is an economy type of turkmenistan

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


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


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