|
|
   PathologicProcess
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10407-10407 | Processus pathologique est disjoint de processus physiologique |
| 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 10409-10414 | |
| 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 10406-10406 | Processus pathologique est une sous-classe de processus biologique |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13512-13512 | Les valeurs retourn�es par SenseImpairmentFn sont des sous-classes de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13532-13532 | Les valeurs retourn�es par SenseInabilityFn sont des sous-classes de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6218-6218 | AllergicReaction est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6440-6440 | Atrophy est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2194-2194 | AutoImmuneDisorder est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6453-6453 | Bloating est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11746-11746 | Choking est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9938-9938 | Edema est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1893-1893 | GERefluxDisease est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6417-6417 | Hallucination est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19333-19333 | Headache est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11349-11349 | HeartAttack est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4324-4324 | HeartPalpitation est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2047-2047 | HeartPalpitations est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10448-10448 | Blesser est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16441-16441 | Insomnia est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19328-19328 | Pain est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11409-11409 | Pericarditis est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5737-5737 | SkinRash est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11891-11891 | Stroke est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5927-5927 | TakingIll est une sous-classe de processus pathologique |
| 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 9931-9931 | Le nombre 1 argument de pathologyTreatment est une instance de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1558-1558 | Le nombre 2 argument de pathologicSideEffect est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10432-10432 | Le nombre 2 argument de pathologicSymptom est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1949-1949 | Le nombre 2 argument de pathologyCandidate est une sous-classe de processus pathologique |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10416-10424 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11246-11261 |
|
| 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 5829-5838 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6003-6010 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6174-6181 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14964-14969 |
|
|
|
|