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 疾病症狀, 1 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 871-871 疾病症狀, 2 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 869-869 疾病症狀 and BinaryPredicate

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 and 疾病症狀
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 發熱阿根廷出血熱disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1944-1944 發熱玻利維亞出血熱disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 335-335 麻痺肉毒中毒disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1964-1964 發熱巴西出血熱disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 394-394 發熱波狀熱disease 病狀
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1245-1245 腹瀉Covid19disease 病狀
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1244-1244 發熱Covid19disease 病狀
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1246-1246 RespiratoryDistressCovid19disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1912-1912 發熱克里米亞剛果出血熱disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1904-1904 發熱白喉disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1698-1698 發熱東部馬腦炎disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 365-365 發熱馬鼻疽disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1788-1788 發熱A型肝炎disease 病狀
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4937-4937 InflammationHyperferritinemiadisease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1449-1449 發熱流感disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1865-1865 發熱拉沙熱disease 病狀
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1425-1425 SkinRashLymeDiseasedisease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1609-1609 發熱瘧疾disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1463-1463 麻痺麻痺性貝類中毒disease 病狀
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4258-4258 ImpairmentFn WalkingParkinsonsDiseasedisease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 413-413 發熱鼠疫disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1163-1163 發熱Q發燒disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1424-1424 發熱裂谷熱disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1823-1823 發熱輪狀病毒腸胃炎disease 病狀
No TPTP formula. May not be expressible in strict first order. WMD.kif 1683-1683 發熱聖路易斯腦炎disease 病狀

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