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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ViralAgent

Sigma KEE - ViralAgent
ViralAgent(病毒劑)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 232-232
No TPTP formula. May not be expressible in strict first order. WMD.kif 230-230 子類 病毒劑 and 有毒生物
No TPTP formula. May not be expressible in strict first order. WMD.kif 231-231 子類 病毒劑 and Virus

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1918-1918 子類 克里米亞剛果出血熱病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1637-1637 子類 登革熱病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1688-1688 子類 東部馬腦炎病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1195-1195 子類 伊波拉病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1969-1969 子類 屈曲病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1186-1186 子類 口蹄疫病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1949-1949 子類 瓜納里託病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1347-1347 子類 HIV病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 2051-2051 子類 亨德拉病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1770-1770 子類 肝炎病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1511-1511 子類 HerpesVirus and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1702-1702 子類 日本腦炎病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1924-1924 子類 junin病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1658-1658 子類 拉克羅斯病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1856-1856 子類 拉薩病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1937-1937 子類 machupo病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1734-1734 子類 馬爾堡病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1232-1232 子類 猴痘病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1402-1402 子類 Myxomatosis and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 2057-2057 子類 尼帕病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1816-1816 子類 輪狀病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1959-1959 子類 sabia病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1672-1672 子類 聖路易斯腦炎病毒 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1254-1254 子類 天花專業 and 病毒劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1259-1259 子類 小天花 and 病毒劑

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1131-1136


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