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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - diseaseSymptom
diseaseSymptom

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