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 872-875
No TPTP formula. May not be expressible in strict first order. WMD.kif 870-870 O argumento numero 1 de diseaseSymptom e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 871-871 O argumento numero 2 de diseaseSymptom e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 869-869 diseaseSymptom e' uma instancia de Predicado Binario

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 pathologicSymptom e' relacionado internamente por SUMO a diseaseSymptom
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 diseaseSymptom ArgentinianHemorrhagicFever and Fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1944-1944 diseaseSymptom BolivianHemorrhagicFever and Fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 335-335 diseaseSymptom Botulism and Paralysis
No TPTP formula. May not be expressible in strict first order. WMD.kif 1964-1964 diseaseSymptom BrazilianHemorrhagicFever and Fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 394-394 diseaseSymptom Brucellosis and Fever
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1245-1245 diseaseSymptom Covid19 and Diarrhea
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1244-1244 diseaseSymptom Covid19 and Fever
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1246-1246 diseaseSymptom Covid19 and RespiratoryDistress
No TPTP formula. May not be expressible in strict first order. WMD.kif 1912-1912 diseaseSymptom CrimeanCongoHemorrhagicFever and Fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1904-1904 diseaseSymptom Diphtheria and Fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1698-1698 diseaseSymptom EasternEquineEncephalitis and Fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 365-365 diseaseSymptom Glanders and Fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1788-1788 diseaseSymptom HepatitisA and Fever
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4937-4937 diseaseSymptom Hyperferritinemia and Inflammation
No TPTP formula. May not be expressible in strict first order. WMD.kif 1449-1449 diseaseSymptom Influenza and Fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1865-1865 diseaseSymptom LassaFever and Fever
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1425-1425 diseaseSymptom LymeDisease and SkinRash
No TPTP formula. May not be expressible in strict first order. WMD.kif 1609-1609 diseaseSymptom Malaria and Fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1463-1463 diseaseSymptom ParalyticShellfishPoisoning and Paralysis
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4258-4258 diseaseSymptom ParkinsonsDisease and ImpairmentFn Andar
No TPTP formula. May not be expressible in strict first order. WMD.kif 413-413 diseaseSymptom Plague and Fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1163-1163 diseaseSymptom QFever and Fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1424-1424 diseaseSymptom RiftValleyFever and Fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1823-1823 diseaseSymptom RotavirusGastroenteritis and Fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1683-1683 diseaseSymptom SaintLouisEncephalitis and Fever

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