Agriculture(農業) more pictures... |
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 | 子類 農業 and Maintaining |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2929-2929 | 子類 砍伐和燒毀農業 and 農業 |
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 |