DiseaseOrSyndrome
|
|
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 18212-18215 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18211-18211 | Disease or syndrome is a subclass of biological attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 138-138 | Anaemia is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3395-3395 | Asthma is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11035-11035 | Bed ridden is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2468-2468 | Beriberi is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6122-6122 | Bone fracture is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5175-5175 | Brain dead is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 412-412 | Hematoma is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6292-6292 | Cancer is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5946-5946 | Catastrophic blood loss is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1479-1479 | ME/CFS is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5956-5956 | COPD is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5204-5204 | Coma is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1383-1383 | Diabetes mellitus is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5951-5951 | Diarrhea is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16406-16406 | Dizzy is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4361-4361 | Atopic dermatitis is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6156-6156 | Fever is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1105-1105 | Gastroenteritis is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6171-6171 | Goiter is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5718-5718 | Cardiovascular disease is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10463-10463 | Hypertension is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | People.kif 475-475 | Hiv aids is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4930-4930 | Hyperferritinemia is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5320-5320 | Hypersalivation is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 677-677 | Hyperthermia is an instance of disease or 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 | The number 2 argument of biochemical agent syndrome is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1933-1933 | The number 2 argument of diseaseCandidate is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1530-1530 | The number 1 argument of disease incubation is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 932-932 | The number 1 argument of disease treatment is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 885-885 | The number 1 argument of disease mortality is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 870-870 | The number 1 argument of disease symptom is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 871-871 | The number 2 argument of disease symptom is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5818-5818 | The number 1 argument of diseaseTreatment is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9641-9641 | The number 2 argument of medicine is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10409-10409 | The number 1 argument of pathologic symptom is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1540-1540 | The number 2 argument of side effect is an instance of disease or 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 10394-10402 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6252-6265 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5932-5945 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20459-20466 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30284-30290 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1906-1921 |
|