LessDevelopedCountry(less developed country) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 211-224 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 206-206 | Less developed country is an instance of UN economic development level |
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 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 227-227 | "LDC" is an abbreviation of less developed country |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 207-207 | Less developed country is a conventional long name of "Less Developed Country" |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 226-226 | Less developed country is a conventional short name of "the South" |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 231-231 | Less developed country is an economy type of afghanistan |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 232-232 | Less developed country is an economy type of algeria |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 233-233 | Less developed country is an economy type of angola |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 234-234 | Less developed country is an economy type of antigua and barbuda |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 235-235 | Less developed country is an economy type of argentina |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 236-236 | Less developed country is an economy type of aruba |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 238-238 | Less developed country is an economy type of bahrain |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 239-239 | Less developed country is an economy type of bangladesh |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 240-240 | Less developed country is an economy type of barbados |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 241-241 | Less developed country is an economy type of belize |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 242-242 | Less developed country is an economy type of burundi |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 243-243 | Less developed country is an economy type of cambodia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 244-244 | Less developed country is an economy type of cameroon |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 245-245 | Less developed country is an economy type of cape verde |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 246-246 | Less developed country is an economy type of central african republic |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 247-247 | Less developed country is an economy type of chad |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 248-248 | Less developed country is an economy type of chile |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 249-249 | Less developed country is an economy type of china |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 250-250 | Less developed country is an economy type of colombia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 251-251 | Less developed country is an economy type of comoros |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 253-253 | Less developed country is an economy type of costa rica |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 254-254 | Less developed country is an economy type of coteD ivoire |
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 384-386 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 229-229 | 172 is a cardinality of the class corresponding to less developed country |