No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19333-19333 | Headache is a subclass of pain in the head |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19334-19334 | Headache is a subclass of pathologic process |