UnderdevelopedCountry
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 395-397 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 392-392 | Underdeveloped country is an instance of economic development level |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 393-393 | Underdeveloped country is a subattribute of less developed country |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59878-59878 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59877-59877 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59876-59876 |