|
|
   Virus
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Virus ChineseLanguage "这是一种由一层蛋白质保护层包围的单个核酸核心所组成的 Organism。 病毒这可能在它宿的活细胞内复制，它只表现有一些、而不是生物常见的所有特征。") | chinese_format.kif 3397-3398 | |
| (documentation Virus EnglishLanguage "An Organism consisting of a core of a single nucleic acid enclosed in a protective coat of protein. A virus may replicate only inside a host living cell. A virus exhibits some but not all of the usual characteristics of living things.") | Merge.kif 14525-14528 | |
| (externalImage Virus "http://upload.wikimedia.org/wikipedia/commons/3/3c/ Tevenphage.png") | pictureList.kif 887-887 | |
| (partition Virus DNAVirus RNAVirus) | VirusProteinAndCellPart.kif 40-40 | 劃分 Virus, DNA病毒 and RNA病毒 |
| (partition Virus UnenvelopedVirus EnvelopedVirus) | VirusProteinAndCellPart.kif 42-42 | 劃分 Virus, 無包膜病毒 and 籠罩病毒 |
| (partition Virus VirusDoubleStranded VirusSingleStranded) | VirusProteinAndCellPart.kif 41-41 | 劃分 Virus, 病毒雙重擱淺 and 病毒單一擱淺 |
| (subclass Virus Microorganism) | Merge.kif 14524-14524 | 子類 Virus and Microorganism |
| appearance as argument number 2 |
|
|
| (subclass DNAVirus Virus) | VirusProteinAndCellPart.kif 100-100 | 子類 DNA病毒 and Virus |
| (subclass EnvelopedVirus Virus) | VirusProteinAndCellPart.kif 141-141 | 子類 籠罩病毒 and Virus |
| (subclass RNAVirus Virus) | VirusProteinAndCellPart.kif 126-126 | 子類 RNA病毒 and Virus |
| (subclass TickBorneEncephalitisVirus Virus) | WMD.kif 2017-2017 | 子類 蜱傳腦炎病毒 and Virus |
| (subclass UnenvelopedVirus Virus) | VirusProteinAndCellPart.kif 137-137 | 子類 無包膜病毒 and Virus |
| (subclass ViralAgent Virus) | WMD.kif 231-231 | 子類 病毒劑 and Virus |
| (subclass VirusDoubleStranded Virus) | VirusProteinAndCellPart.kif 146-146 | 子類 病毒雙重擱淺 and Virus |
| (subclass VirusSingleStranded Virus) | VirusProteinAndCellPart.kif 150-150 | 子類 病毒單一擱淺 and Virus |
| (termFormat ChineseLanguage Virus "病毒") | chinese_format.kif 975-975 | |
| (termFormat EnglishLanguage Virus "virus") | english_format.kif 1157-1157 | |
| (termFormat FrenchLanguage Virus "virus") | french_format.kif 652-652 | |
| (termFormat Hindi Virus "vishaaNu") | terms-hindi.txt 183-183 | |
| (termFormat ItalianLanguage Virus "Virus") | terms-it.txt 186-186 | |
| (termFormat JapaneseLanguage Virus "ウイルス") | japanese_format.kif 2336-2336 | |
| (termFormat PortugueseLanguage Virus "Virus") | portuguese_format.kif 604-604 | |
| (termFormat cz Virus "virus") | terms-cz.txt 220-220 | |
| (termFormat ro Virus "virus") | relations-ro.kif 673-673 | |
| (termFormat tg Virus "lasong sakit") | terms-tg.txt 187-187 | |
| (typicalPart ViralGenome Virus) | VirusProteinAndCellPart.kif 1112-1112 | 病毒基因組 typically 是 Virus 的 part |
| (typicalPart VirionEnzyme Virus) | VirusProteinAndCellPart.kif 1137-1137 | 病毒酶 typically 是 Virus 的 part |
| appearance as argument number 3 |
|
|
| (domain ViralPartFn 1 Virus) | VirusProteinAndCellPart.kif 1158-1158 | 域 病毒部分, 1 and Virus |
| (domain geneticSubstrateOfVirus 1 Virus) | VirusProteinAndCellPart.kif 35-35 | 域 病毒的遺傳基質, 1 and Virus |
| (domain invadingVirus 2 Virus) | VirusProteinAndCellPart.kif 25-25 | 域 入侵病毒, 2 and Virus |
| (domainSubclass vaccine 2 Virus) | WMD.kif 1085-1085 | 域子類 vaccine, 2 and Virus |
| antecedent |
|
|
| (=> (and (instance ?VIRUS Virus) (inhabits ?VIRUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14530-14534 | |
| (=> (and (instance ?VIRUS Virus) (instance ?PROC Replication) (agent ?PROC ?VIRUS)) (exists (?CELL) (and (located ?PROC ?CELL) (instance ?CELL Cell)))) |
Merge.kif 14536-14544 | |
| (=> (instance ?OBJ1 Virus) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 VirusPart)))) |
VirusProteinAndCellPart.kif 1146-1151 |
| consequent |
|
|
| (=> (instance ?I Interleukin) (hasPurpose ?I (exists (?D ?BV ?H) (and (instance ?H Human) (or (instance ?BV Bacteria) (instance ?BV Virus)) (instance ?D Destruction) (located ?D ?H) (instrument ?D ?I) (patient ?D ?BV))))) |
Medicine.kif 3750-3762 | |
| (=> (instance ?OBJ1 VirusPart) (exists (?OBJ2) (and (properPart ?OBJ1 ?OBJ2) (instance ?OBJ2 Virus)))) |
VirusProteinAndCellPart.kif 1139-1144 | |
| (=> (instance ?PART VirusPart) (exists (?VIRUS) (and (instance ?VIRUS Virus) (part ?PART ?VIRUS)))) |
VirusProteinAndCellPart.kif 1105-1110 |
|
|
|
