Starving
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18490-18490 | |
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 18489-18489 | Starving is a subclass of killing |
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 |