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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DevelopingCountry
DevelopingCountry(developing country)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 601-606
No TPTP formula. May not be expressible in strict first order. Economy.kif 599-599 Developing country is an instance of IMF development level
No TPTP formula. May not be expressible in strict first order. Economy.kif 511-511 Developing country is an immediate successor attribute of country in transition

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 610-610 Developing country is an economy type of afghanistan
No TPTP formula. May not be expressible in strict first order. Economy.kif 611-611 Developing country is an economy type of algeria
No TPTP formula. May not be expressible in strict first order. Economy.kif 612-612 Developing country is an economy type of angola
No TPTP formula. May not be expressible in strict first order. Economy.kif 613-613 Developing country is an economy type of antigua and barbuda
No TPTP formula. May not be expressible in strict first order. Economy.kif 614-614 Developing country is an economy type of argentina
No TPTP formula. May not be expressible in strict first order. Economy.kif 615-615 Developing country is an economy type of aruba
No TPTP formula. May not be expressible in strict first order. Economy.kif 617-617 Developing country is an economy type of bahrain
No TPTP formula. May not be expressible in strict first order. Economy.kif 618-618 Developing country is an economy type of bangladesh
No TPTP formula. May not be expressible in strict first order. Economy.kif 619-619 Developing country is an economy type of barbados
No TPTP formula. May not be expressible in strict first order. Economy.kif 620-620 Developing country is an economy type of belize
No TPTP formula. May not be expressible in strict first order. Economy.kif 621-621 Developing country is an economy type of burundi
No TPTP formula. May not be expressible in strict first order. Economy.kif 622-622 Developing country is an economy type of cambodia
No TPTP formula. May not be expressible in strict first order. Economy.kif 623-623 Developing country is an economy type of cameroon
No TPTP formula. May not be expressible in strict first order. Economy.kif 624-624 Developing country is an economy type of cape verde
No TPTP formula. May not be expressible in strict first order. Economy.kif 625-625 Developing country is an economy type of central african republic
No TPTP formula. May not be expressible in strict first order. Economy.kif 626-626 Developing country is an economy type of chad
No TPTP formula. May not be expressible in strict first order. Economy.kif 627-627 Developing country is an economy type of chile
No TPTP formula. May not be expressible in strict first order. Economy.kif 628-628 Developing country is an economy type of china
No TPTP formula. May not be expressible in strict first order. Economy.kif 629-629 Developing country is an economy type of colombia
No TPTP formula. May not be expressible in strict first order. Economy.kif 630-630 Developing country is an economy type of comoros
No TPTP formula. May not be expressible in strict first order. Economy.kif 632-632 Developing country is an economy type of costa rica
No TPTP formula. May not be expressible in strict first order. Economy.kif 633-633 Developing country is an economy type of coteD ivoire
No TPTP formula. May not be expressible in strict first order. Economy.kif 634-634 Developing country is an economy type of cyprus
No TPTP formula. May not be expressible in strict first order. Economy.kif 631-631 Developing country is an economy type of democratic republic of the congo
No TPTP formula. May not be expressible in strict first order. Economy.kif 635-635 Developing country is an economy type of djibouti

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 608-608 126 is a cardinality of the class corresponding to developing country


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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