PathologicProcess
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10385-10385 | 不相交的 PathologicProcess and PhysiologicProcess |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2922-2924 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10387-10392 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1671-1674 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10384-10384 | 子類 PathologicProcess and BiologicalProcess |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13490-13490 | 範圍子類 SenseImpairmentFn and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13510-13510 | 範圍子類 SenseInabilityFn and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6219-6219 | 子類 AllergicReaction and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6441-6441 | 子類 痿 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. | Mid-level-ontology.kif 6454-6454 | 子類 腹脹 and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11747-11747 | 子類 Choking and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9939-9939 | 子類 Edema 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. | Mid-level-ontology.kif 6418-6418 | 子類 Hallucination and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19334-19334 | 子類 頭痛 and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11350-11350 | 子類 HeartAttack and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4324-4324 | 子類 HeartPalpitation 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. | Merge.kif 10426-10426 | 子類 Injuring and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16442-16442 | 子類 Insomnia and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19329-19329 | 子類 痛 and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11410-11410 | 子類 Pericarditis and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5738-5738 | 子類 SkinRash and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11892-11892 | 子類 Stroke and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5928-5928 | 子類 生病了 and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1088-1088 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1387-1387 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 766-766 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9932-9932 | 域 pathologyTreatment, 1 and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1558-1558 | 域子類 pathologicSideEffect, 2 and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10410-10410 | 域子類 pathologicSymptom, 2 and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1949-1949 | 域子類 pathologyCandidate, 2 and PathologicProcess |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10394-10402 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11247-11262 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3517-3529 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5830-5839 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6004-6011 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6175-6182 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14942-14947 |