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 est une instance de UNEconomicDevelopmentLevel |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 209-209 | LessDevelopedCountry est un attribut successeur imm�diat 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 la classe correspondant � LessDevelopedCountry and 172 |