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 872-875
No TPTP formula. May not be expressible in strict first order. WMD.kif 870-870 疾病症状 的 1 数量 是 疾病或综合症instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 871-871 疾病症状 的 2 数量 是 疾病或综合症instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 869-869 疾病症状二元谓语instance

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疾病症状 是 内部相关
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 发热阿根廷出血热dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 1944-1944 发热玻利维亚出血热dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 335-335 麻痹肉毒中毒dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 1964-1964 发热巴西出血热dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 394-394 发热波状热dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1245-1245 腹泻Covid19dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1244-1244 发热Covid19dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1246-1246 RespiratoryDistressCovid19dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 1912-1912 发热克里米亚刚果出血热dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 1904-1904 发热白喉dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 1698-1698 发热东部马脑炎dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 365-365 发热马鼻疽dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 1788-1788 发热A型肝炎dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4937-4937 InflammationHyperferritinemiadis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 1449-1449 发热流感dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 1865-1865 发热拉沙热dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1425-1425 SkinRashLymeDiseasedis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 1609-1609 发热疟疾dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 1463-1463 麻痹麻痹性贝类中毒dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4258-4258 ImpairmentFn 步行ParkinsonsDiseasedis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 413-413 发热鼠疫dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 1163-1163 发热Q发烧dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 1424-1424 发热裂谷热dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 1823-1823 发热轮状病毒肠胃炎dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. WMD.kif 1683-1683 发热圣路易斯脑炎dis​​ease 病状

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