|
|
  LessDevelopedCountry
|
|
|
| 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 | LessDevelopedCountry e' uma instancia de UNEconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 209-209 | LessDevelopedCountry e' um atributo sucessor immediato de FormerSovietOrEasternEuropeanCountry |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 227-227 | abbreviation "LDC" and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 207-207 | conventionalLongName "Less Developed Country" and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 226-226 | conventionalShortName "the South" and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 231-231 | economyType Afghanistan and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 232-232 | economyType Algeria and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 233-233 | economyType Angola and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 234-234 | economyType AntiguaAndBarbuda and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 235-235 | economyType Argentina and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 236-236 | economyType Aruba and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 238-238 | economyType Bahrain and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 239-239 | economyType Bangladesh and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 240-240 | economyType Barbados and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 241-241 | economyType Belize and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 242-242 | economyType Burundi and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 243-243 | economyType Cambodia and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 244-244 | economyType Cameroon and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 245-245 | economyType CapeVerde and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 246-246 | economyType CentralAfricanRepublic and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 247-247 | economyType Chad and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 248-248 | economyType Chile and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 249-249 | economyType China and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 250-250 | economyType Colombia and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 251-251 | economyType Comoros and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 253-253 | economyType CostaRica and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 254-254 | economyType CoteDIvoire and LessDevelopedCountry |
| 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 | cardinality a classe correspondente a LessDevelopedCountry and 172 |
|
|
|