| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 867-870 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 865-865 | 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 866-866 | 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 864-864 | 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. | domainEnglishFormat.kif 19809-19809 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19808-19808 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19807-19807 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 770-774 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 872-876 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1831-1831 | Fever is a disease symptom of argentinian hemorrhagic fever |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1843-1843 | 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 1863-1863 | 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 661-661 | Diarrhea is a disease symptom of Covid-19 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 660-660 | Fever is a disease symptom of Covid-19 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 662-662 | Respiratory distress is a disease symptom of Covid-19 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1811-1811 | Fever is a disease symptom of crimean congo hemorrhagic fever |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1803-1803 | Fever is a disease symptom of diphtheria |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1597-1597 | 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 1687-1687 | Fever is a disease symptom of hepatitis a |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1385-1385 | Fever is a disease symptom of influenza |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1764-1764 | Fever is a disease symptom of lassa fever |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1507-1507 | Fever is a disease symptom of malaria |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1399-1399 | Paralysis is a disease symptom of paralytic shellfish poisoning |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 408-408 | Fever is a disease symptom of plague |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1115-1115 | Fever is a disease symptom of Q fever |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1360-1360 | Fever is a disease symptom of rift valley fever |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1722-1722 | Fever is a disease symptom of rotavirus gastroenteritis |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1582-1582 | Fever is a disease symptom of saint louis encephalitis |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1167-1167 | Fever is a disease symptom of tularemia |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1309-1309 | Fever is a disease symptom of typhoid fever |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1347-1347 | Fever is a disease symptom of venezuelan equine 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