Starving
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18518-18518 | |
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 18517-18517 | Starving is a subclass of killing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55106-55106 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55105-55105 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55104-55104 |