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 est une sous-classe de tuer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18072-18072 | Harvesting est une sous-classe de supprimer |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5469-5469 | Felling est une sous-classe de 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 |