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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Virus
Virus

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3397-3398
No TPTP formula. May not be expressible in strict first order. Merge.kif 14479-14482
No TPTP formula. May not be expressible in strict first order. pictureList.kif 887-887
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 40-40 劃分 Virus, DNA病毒 and RNA病毒
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 42-42 劃分 Virus, 無包膜病毒 and 籠罩病毒
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 41-41 劃分 Virus, 病毒雙重擱淺 and 病毒單一擱淺
No TPTP formula. May not be expressible in strict first order. Merge.kif 14478-14478 子類 Virus and Microorganism

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 100-100 子類 DNA病毒 and Virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 141-141 子類 籠罩病毒 and Virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 126-126 子類 RNA病毒 and Virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 2017-2017 子類 蜱傳腦炎病毒 and Virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 137-137 子類 無包膜病毒 and Virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 231-231 子類 病毒劑 and Virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 146-146 子類 病毒雙重擱淺 and Virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 150-150 子類 病毒單一擱淺 and Virus
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 975-975
No TPTP formula. May not be expressible in strict first order. english_format.kif 1157-1157
No TPTP formula. May not be expressible in strict first order. french_format.kif 652-652
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 183-183
No TPTP formula. May not be expressible in strict first order. terms-it.txt 186-186
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2336-2336
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 604-604
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 220-220
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 673-673
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 187-187
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1111-1111 病毒基因組 typicallyViruspart
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1136-1136 病毒酶 typicallyViruspart

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1157-1157 病毒部分, 1 and Virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 35-35 病毒的遺傳基質, 1 and Virus
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 25-25 入侵病毒, 2 and Virus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1085-1085 域子類 vaccine, 2 and Virus

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14484-14488
No TPTP formula. May not be expressible in strict first order. Merge.kif 14490-14498
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1145-1150

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3750-3762
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1138-1143
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1104-1109


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