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 | 子類 DiagnosticProcess and Investigating |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24084-24084 | 子類 活檢 and DiagnosticProcess |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 461-461 | 子類 MeasuringBreathing and DiagnosticProcess |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3425-3425 | 子類 Electrocardiography and DiagnosticProcess |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6497-6497 | 子類 CheckingVitals and DiagnosticProcess |