No TPTP formula. May not be expressible in strict first order. | Merge.kif 10384-10384 | 病理过程 是 生物过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5738-5738 | SkinRash 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5928-5928 | 生病了 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6219-6219 | AllergicReaction 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6418-6418 | Hallucination 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6441-6441 | 痿 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6454-6454 | 腹胀 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9939-9939 | Edema 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11350-11350 | HeartAttack 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11410-11410 | Pericarditis 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11747-11747 | Choking 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11892-11892 | Stroke 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16442-16442 | Insomnia 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19329-19329 | 痛 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19334-19334 | 头痛 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10426-10426 | 受伤 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1893-1893 | GERefluxDisease 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2047-2047 | HeartPalpitations 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2194-2194 | AutoImmuneDisorder 是 病理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4324-4324 | HeartPalpitation 是 病理过程 的 subclass |