Agriculture
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20839-20841 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5842-5842 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6051-6051 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6052-6052 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6053-6053 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6054-6054 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6055-6055 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6056-6056 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6058-6058 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20838-20838 | Agriculture is a subclass of maintaining |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2929-2929 | Slash and burn agriculture is a subclass of agriculture |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5982-5982 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5981-5981 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5980-5980 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20843-20848 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7242-7257 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5210-5222 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1831-1833 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20853-20858 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4809-4818 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8139-8144 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3670-3677 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18077-18082 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3655-3662 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18030-18035 |
|