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 14211-14214 | |
(externalImage Virus "http://upload.wikimedia.org/wikipedia/commons/3/3c/ Tevenphage.png") | pictureList.kif 888-888 | |
(partition Virus DNAVirus RNAVirus) | VirusProteinAndCellPart.kif 40-40 | |
(partition Virus UnenvelopedVirus EnvelopedVirus) | VirusProteinAndCellPart.kif 42-42 | |
(partition Virus VirusDoubleStranded VirusSingleStranded) | VirusProteinAndCellPart.kif 41-41 | |
(subclass Virus Microorganism) | Merge.kif 14210-14210 |
appearance as argument number 2 |
![]() |
(subclass DNAVirus Virus) | VirusProteinAndCellPart.kif 55-55 | |
(subclass EnvelopedVirus Virus) | VirusProteinAndCellPart.kif 96-96 | |
(subclass RNAVirus Virus) | VirusProteinAndCellPart.kif 81-81 | |
(subclass TickBorneEncephalitisVirus Virus) | WMD.kif 2007-2007 | |
(subclass UnenvelopedVirus Virus) | VirusProteinAndCellPart.kif 92-92 | |
(subclass ViralAgent Virus) | WMD.kif 231-231 | |
(subclass VirusDoubleStranded Virus) | VirusProteinAndCellPart.kif 101-101 | |
(subclass VirusSingleStranded Virus) | VirusProteinAndCellPart.kif 105-105 | |
(termFormat ChineseLanguage Virus "病毒") | chinese_format.kif 975-975 | |
(termFormat EnglishLanguage Virus "virus") | english_format.kif 1157-1157 | |
(typicalPart ViralGenome Virus) | VirusProteinAndCellPart.kif 598-598 | |
(typicalPart VirionEnzyme Virus) | VirusProteinAndCellPart.kif 623-623 |
appearance as argument number 3 |
![]() |
(domain ViralPartFn 1 Virus) | VirusProteinAndCellPart.kif 644-644 | |
(domain geneticSubstrateOfVirus 1 Virus) | VirusProteinAndCellPart.kif 35-35 | |
(domain invadingVirus 2 Virus) | VirusProteinAndCellPart.kif 25-25 | |
(domainSubclass vaccine 2 Virus) | WMD.kif 1079-1079 |
antecedent |
![]() |
(=> (and (instance ?VIRUS Virus) (inhabits ?VIRUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14216-14220 | |
(=> (and (instance ?VIRUS Virus) (instance ?PROC Replication) (agent ?PROC ?VIRUS)) (exists (?CELL) (and (located ?PROC ?CELL) (instance ?CELL Cell)))) |
Merge.kif 14222-14230 | |
(=> (instance ?OBJ1 Virus) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 VirusPart)))) |
VirusProteinAndCellPart.kif 632-637 |
consequent |
![]() |
(=> (instance ?OBJ1 VirusPart) (exists (?OBJ2) (and (properPart ?OBJ1 ?OBJ2) (instance ?OBJ2 Virus)))) |
VirusProteinAndCellPart.kif 625-630 | |
(=> (instance ?PART VirusPart) (exists (?VIRUS) (and (instance ?VIRUS Virus) (part ?PART ?VIRUS)))) |
VirusProteinAndCellPart.kif 591-596 |
![]() |
![]() |