| 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. | Medicine.kif 6564-6564 | pathologic symptom is internally related to disease symptom |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19827-19827 | pathologic symptom is internally related to disease symptom |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19826-19826 | pathologic symptom is internally related to disease symptom |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19825-19825 | pathologic symptom is internally related to disease symptom |
| 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 | A fever is a disease symptom of argentinian hemorrhagic fever |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1944-1944 | A 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 | A fever is a disease symptom of brazilian hemorrhagic fever |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 394-394 | A fever is a disease symptom of brucellosis |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1253-1253 | Diarrhea is a disease symptom of Covid |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1252-1252 | A fever is a disease symptom of Covid |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1254-1254 | Respiratory distress is a disease symptom of Covid |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1912-1912 | A 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 | A fever is a disease symptom of diphtheria |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1698-1698 | A fever is a disease symptom of eastern equine encephalitis |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 365-365 | A fever is a disease symptom of glanders |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1788-1788 | A fever is a disease symptom of hepatitis A |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4944-4944 | Inflammation is a disease symptom of hyperferritinemia |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1449-1449 | A fever is a disease symptom of influenza |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1865-1865 | A fever is a disease symptom of lassa fever |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1417-1417 | Rash is a disease symptom of Lyme disease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1609-1609 | A 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 4265-4265 | 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 | A fever is a disease symptom of plague |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1163-1163 | A fever is a disease symptom of Q fever |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1424-1424 | A fever is a disease symptom of rift valley fever |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1823-1823 | A fever is a disease symptom of rotavirus gastroenteritis |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1683-1683 | A 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners