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 | The number 1 argument of economy type is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 85-85 | The number 2 argument of economy type is an instance of economic attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 80-80 | economy type is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 86-86 | economy type is a subrelation of 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 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 440-447 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 456-463 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 465-472 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 481-488 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 490-497 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 91-95 |
|
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 | Developing country is an economy type of afghanistan |
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 574-574 | Country in transition is an economy type of albania |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 616-616 | Developing country is an economy type of algeria |
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 146-146 | Developed country is an economy type of andorra |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 617-617 | Developing country is an economy type of angola |
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 618-618 | Developing country is an economy type of antigua and barbuda |
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 619-619 | Developing country is an economy type of argentina |
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 575-575 | Country in transition is an economy type of armenia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 620-620 | Developing country is an economy type of aruba |
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 535-535 | Advanced economy is an economy type of australia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 147-147 | Developed country is an economy type of australia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 536-536 | Advanced economy is an economy type of austria |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 148-148 | Developed country is an economy type of austria |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 576-576 | Country in transition is an economy type of azerbaijan |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 622-622 | Developing country is an economy type of bahrain |
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 623-623 | Developing country is an economy type of bangladesh |
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 624-624 | Developing country is an economy type of barbados |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |