| Starving(挨饿)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18491-18491 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7989-7989 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6895-6895 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7990-7990 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18490-18490 | 挨饿 是 杀害 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55104-55104 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55103-55103 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55102-55102 |
|
|
|