diseaseSymptom |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 872-875 | |
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. | WMD.kif 869-869 | disease symptom is an instance of binary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 776-776 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 775-775 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 774-774 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10424-10424 | pathologic symptom is internally related to disease symptom |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19818-19818 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19817-19817 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19816-19816 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 775-779 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 877-882 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1932-1932 | Fever is a disease symptom of argentinian hemorrhagic fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1944-1944 | Fever is a disease symptom of bolivian hemorrhagic fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 335-335 | Paralysis is a disease symptom of botulism |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1964-1964 | Fever is a disease symptom of brazilian hemorrhagic fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 394-394 | Fever is a disease symptom of brucellosis |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1245-1245 | Diarrhea is a disease symptom of Covid |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1244-1244 | Fever is a disease symptom of Covid |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1246-1246 | Respiratory distress is a disease symptom of Covid |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1912-1912 | Fever is a disease symptom of crimean congo hemorrhagic fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1904-1904 | Fever is a disease symptom of diphtheria |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1698-1698 | Fever is a disease symptom of eastern equine encephalitis |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 365-365 | Fever is a disease symptom of glanders |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1788-1788 | Fever is a disease symptom of hepatitis a |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4937-4937 | Inflammation is a disease symptom of hyperferritinemia |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1449-1449 | Fever is a disease symptom of influenza |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1865-1865 | Fever is a disease symptom of lassa fever |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1425-1425 | Rash is a disease symptom of Lyme disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1609-1609 | Fever is a disease symptom of malaria |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1463-1463 | Paralysis is a disease symptom of paralytic shellfish poisoning |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4258-4258 | Impairment in walking is a disease symptom of Parkinson's |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 413-413 | Fever is a disease symptom of plague |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1163-1163 | Fever is a disease symptom of Q fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1424-1424 | Fever is a disease symptom of rift valley fever |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1823-1823 | Fever is a disease symptom of rotavirus gastroenteritis |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1683-1683 | Fever is a disease symptom of saint louis encephalitis |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |