No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21035-21042 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4481-4492 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12976-12976 | Diagnostic process is a subclass of investigating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24083-24083 | Biopsy is a subclass of diagnostic process |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 461-461 | Measuring breathing is a subclass of diagnostic process |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3425-3425 | Electrocardiography is a subclass of diagnostic process |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6497-6497 | Checking vitals is a subclass of diagnostic process |