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 | Harvesting is a subclass of killing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18072-18072 | Harvesting is a subclass of removing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5469-5469 | Felling is a subclass of harvesting |
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 |
|