| PathologicProcess(Processo Patologico) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10421-10421 | Processo Patologico e' disjunto de Processo Fisiologico |
| 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 10423-10428 | |
| 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 10420-10420 | Processo Patologico e' uma sub-classe de Processo Biologico |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13536-13536 | Os valores retornados por SenseImpairmentFn sao as sub-classes de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13556-13556 | Os valores retornados por SenseInabilityFn sao as sub-classes de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6213-6213 | AllergicReaction e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6435-6435 | Atrophy e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2194-2194 | AutoImmuneDisorder e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6448-6448 | Bloating e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11774-11774 | Choking e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9966-9966 | Edema e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1893-1893 | GERefluxDisease e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6412-6412 | Hallucination e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19361-19361 | Headache e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11377-11377 | HeartAttack e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4324-4324 | HeartPalpitation e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2047-2047 | HeartPalpitations e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10460-10460 | Ferir e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16469-16469 | Insomnia e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19356-19356 | Pain e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11437-11437 | Pericarditis e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5732-5732 | SkinRash e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11919-11919 | Stroke e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5922-5922 | TakingIll e' uma sub-classe de Processo Patologico |
| 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 9959-9959 | O argumento numero 1 de pathologyTreatment e' uma instancia de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1558-1558 | O argumento numero 2 de pathologicSideEffect e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10446-10446 | O argumento numero 2 de pathologicSymptom e' uma sub-classe de Processo Patologico |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1949-1949 | O argumento numero 2 de pathologyCandidate e' uma sub-classe de Processo Patologico |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10430-10438 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11274-11289 |
|
| 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 5824-5833 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5998-6005 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6169-6176 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14988-14993 |
|
|
|
|