Harvesting(收穫) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18074-18075 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2587-2587 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2477-2477 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2586-2586 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18073-18073 | 子類 收穫 and Killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18072-18072 | 子類 收穫 and Removing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5469-5469 | 子類 砍伐 and 收穫 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27492-27492 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27491-27491 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27490-27490 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2687-2692 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18084-18092 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2159-2164 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18077-18082 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4195-4204 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20041-20050 |