Feeding(馈送) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11601-11601 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6008-6008 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11600-11600 | 馈送 是 给予 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23482-23482 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23481-23481 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23480-23480 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11609-11613 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11603-11607 |