No TPTP formula. May not be expressible in strict first order. | Merge.kif 10406-10406 | 子類 PathologicProcess and BiologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5737-5737 | 子類 SkinRash and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5927-5927 | 子類 生病了 and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6218-6218 | 子類 AllergicReaction and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6417-6417 | 子類 Hallucination and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6440-6440 | 子類 痿 and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6453-6453 | 子類 腹脹 and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9938-9938 | 子類 Edema and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11349-11349 | 子類 HeartAttack and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11409-11409 | 子類 Pericarditis and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11746-11746 | 子類 Choking and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11891-11891 | 子類 Stroke and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16441-16441 | 子類 Insomnia and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19328-19328 | 子類 痛 and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19333-19333 | 子類 頭痛 and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10448-10448 | 子類 Injuring and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1893-1893 | 子類 GERefluxDisease and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2047-2047 | 子類 HeartPalpitations and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2194-2194 | 子類 AutoImmuneDisorder and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4324-4324 | 子類 HeartPalpitation and PathologicProcess |
![]() |