DiseaseOrSyndrome(maladie ou syndrome) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4029-4031 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18234-18237 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18233-18233 | Maladie ou syndrome est une sous-classe de attribut biologique |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 138-138 | Anemia est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3395-3395 | Asthma est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11034-11034 | Bedridden est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2468-2468 | Beriberi est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6122-6122 | BoneFracture est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5175-5175 | BrainDead est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 412-412 | Bruise est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6291-6291 | Cancer est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5946-5946 | CatastrophicBloodLoss est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1479-1479 | ChronicFatigueSyndrome est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5955-5955 | ChronicObstructivePulmonaryDisease est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5204-5204 | Coma est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1383-1383 | Diabetes est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5950-5950 | Diarrhea est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16405-16405 | Dizzy est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4361-4361 | Eczema est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6155-6155 | Fever est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1105-1105 | Gastroenteritis est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6170-6170 | Goiter est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5718-5718 | HeartDisease est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10462-10462 | HighBloodPressure est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | People.kif 475-475 | HivAids est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4930-4930 | Hyperferritinemia est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5320-5320 | Hypersalivation est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 677-677 | Hyperthermia est une instance de maladie ou syndrome |
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. | WMD.kif 762-762 | Le nombre 2 argument de biochemicalAgentSyndrome est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1933-1933 | Le nombre 2 argument de diseaseCandidate est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1530-1530 | Le nombre 1 argument de diseaseIncubation est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 932-932 | Le nombre 1 argument de diseaseMedicine est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 885-885 | Le nombre 1 argument de diseaseMortality est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 870-870 | Le nombre 1 argument de diseaseSymptom est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 871-871 | Le nombre 2 argument de diseaseSymptom est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5818-5818 | Le nombre 1 argument de diseaseTreatment est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9640-9640 | Le nombre 2 argument de medicine est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10431-10431 | Le nombre 1 argument de pathologicSymptom est une instance de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1540-1540 | Le nombre 2 argument de sideEffect est une instance de maladie ou syndrome |
antecedent |
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. | Medicine.kif 4195-4210 |
|
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 6251-6264 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5931-5944 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20458-20465 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30272-30278 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1906-1921 |
|