economyType |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 88-89 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 81-81 | O argumento numero 1 de economyType e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 85-85 | O argumento numero 2 de economyType e' uma instancia de EconomicAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 80-80 | economyType e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 86-86 | economyType e' uma sub-relacao de attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 828-828 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 827-827 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 826-826 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21204-21204 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21203-21203 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21202-21202 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 865-869 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 506-510 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 189-191 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 388-390 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 384-386 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 432-434 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 747-749 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 743-745 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 879-881 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 615-615 | economyType Afghanistan and DevelopingCountry |
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 574-574 | economyType Albania and CountryInTransition |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 616-616 | economyType Algeria and DevelopingCountry |
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 146-146 | economyType Andorra and DevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 617-617 | economyType Angola and DevelopingCountry |
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 618-618 | economyType AntiguaAndBarbuda and DevelopingCountry |
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 619-619 | economyType Argentina and DevelopingCountry |
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 575-575 | economyType Armenia and CountryInTransition |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 620-620 | economyType Aruba and DevelopingCountry |
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 535-535 | economyType Australia and AdvancedEconomy |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 147-147 | economyType Australia and DevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 536-536 | economyType Austria and AdvancedEconomy |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 148-148 | economyType Austria and DevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 576-576 | economyType Azerbaijan and CountryInTransition |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 622-622 | economyType Bahrain and DevelopingCountry |
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 623-623 | economyType Bangladesh and DevelopingCountry |
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 624-624 | economyType Barbados and DevelopingCountry |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |