Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  diseaseSymptom

Sigma KEE - diseaseSymptom
diseaseSymptom

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 834-837
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 831-831 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 19750-19750
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19749-19749
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19748-19748

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 839-843

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1798-1798 Fever is a disease symptom of argentinian hemorrhagic fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1810-1810 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 1830-1830 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 659-659 Diarrhea is a disease symptom of Covid-19
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 658-658 Fever is a disease symptom of Covid-19
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 660-660 Respiratory distress is a disease symptom of Covid-19
No TPTP formula. May not be expressible in strict first order. WMD.kif 1778-1778 Fever is a disease symptom of crimean congo hemorrhagic fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1770-1770 Fever is a disease symptom of diphtheria
No TPTP formula. May not be expressible in strict first order. WMD.kif 1564-1564 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 1654-1654 Fever is a disease symptom of hepatitis a
No TPTP formula. May not be expressible in strict first order. WMD.kif 1352-1352 Fever is a disease symptom of influenza
No TPTP formula. May not be expressible in strict first order. WMD.kif 1731-1731 Fever is a disease symptom of lassa fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1474-1474 Fever is a disease symptom of malaria
No TPTP formula. May not be expressible in strict first order. WMD.kif 1366-1366 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 1082-1082 Fever is a disease symptom of Q fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1327-1327 Fever is a disease symptom of rift valley fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1689-1689 Fever is a disease symptom of rotavirus gastroenteritis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1549-1549 Fever is a disease symptom of saint louis encephalitis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1134-1134 Fever is a disease symptom of tularemia
No TPTP formula. May not be expressible in strict first order. WMD.kif 1276-1276 Fever is a disease symptom of typhoid fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1314-1314 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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