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 病毒 详尽无遗地 partition 成 DNA病毒 和 RNA病毒
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 42-42 病毒 详尽无遗地 partition 成 无包膜病毒 和 笼罩病毒
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 41-41 病毒 详尽无遗地 partition 成 病毒双重搁浅 和 病毒单一搁浅
No TPTP formula. May not be expressible in strict first order. Merge.kif 14478-14478 病毒 是 微生物 的 subclass

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 100-100 DNA病毒 是 病毒 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 141-141 笼罩病毒 是 病毒 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 126-126 RNA病毒 是 病毒 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 2017-2017 蜱传脑炎病毒 是 病毒 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 137-137 无包膜病毒 是 病毒 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 231-231 病毒剂 是 病毒 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 146-146 病毒双重搁浅 是 病毒 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 150-150 病毒单一搁浅 是 病毒 的 subclass
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 病毒基因组 typically 是 病毒 的 part
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1136-1136 病毒酶 typically 是 病毒 的 part

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1157-1157 病毒部分 的 1 数量 是 病毒 的 instance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 35-35 病毒的遗传基质 的 1 数量 是 病毒 的 instance
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 25-25 入侵病毒 的 2 数量 是 病毒 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1085-1085 vaccine 的 2 数量 是 病毒 的 subclass

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