No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21036-21043 | |
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 12954-12954 | 诊断过程 是 调查 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24084-24084 | 活检 是 诊断过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 461-461 | MeasuringBreathing 是 诊断过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3425-3425 | Electrocardiography 是 诊断过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6497-6497 | CheckingVitals 是 诊断过程 的 subclass |