![]() |
![]() ![]() ![]()
|
![]() |
|
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 16937-16940 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16936-16936 | 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. | Mid-level-ontology.kif 28471-28471 | Healthy is the opposite of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6116-6116 | Cancer is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6023-6023 | Diarrhea is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6028-6028 | Emphysema is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6041-6041 | Fever is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1010-1010 | Gastroenteritis is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6056-6056 | Goiter is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | People.kif 478-478 | Hiv aids is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1024-1024 | Paralysis is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 663-663 | Respiratory distress is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1260-1260 | Acquired immuno deficiency syndrome is a subclass of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17560-17560 | Disability is a subclass of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5986-5986 | Infectious disease is a subclass of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 978-978 | Life threatening disease is a subclass of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5968-5968 | Nonspecific disease is a subclass of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17022-17022 | Psychological dysfunction is a subclass of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1275-1275 | Typhoid fever is a subclass of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1261-1261 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1748-1748 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 757-757 | 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. | WMD.kif 1427-1427 | 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 846-846 | 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 832-832 | 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 833-833 | 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. | WMD.kif 890-890 | 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. | VirusProteinAndCellPart.kif 670-670 | The number 2 argument of medicine is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1437-1437 | 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. | Merge.kif 9824-9832 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6077-6089 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6005-6017 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1896-1911 |
|
![]() |
![]() |