| 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 is exhaustively partitioned into DNA virus and RNA virus |
| (partition Virus UnenvelopedVirus EnvelopedVirus) | VirusProteinAndCellPart.kif 42-42 | Virus is exhaustively partitioned into unenveloped virus and enveloped virus |
| (partition Virus VirusDoubleStranded VirusSingleStranded) | VirusProteinAndCellPart.kif 41-41 | Virus is exhaustively partitioned into virus double stranded and virus single stranded |
| (subclass Virus Microorganism) | Merge.kif 14524-14524 | Virus is a subclass of microorganism |
| appearance as argument number 2 |
|
|
| (subclass DNAVirus Virus) | VirusProteinAndCellPart.kif 100-100 | DNA virus is a subclass of virus |
| (subclass EnvelopedVirus Virus) | VirusProteinAndCellPart.kif 141-141 | Enveloped virus is a subclass of virus |
| (subclass RNAVirus Virus) | VirusProteinAndCellPart.kif 126-126 | RNA virus is a subclass of virus |
| (subclass TickBorneEncephalitisVirus Virus) | WMD.kif 2017-2017 | Tick borne encephalitis virus is a subclass of virus |
| (subclass UnenvelopedVirus Virus) | VirusProteinAndCellPart.kif 137-137 | Unenveloped virus is a subclass of virus |
| (subclass ViralAgent Virus) | WMD.kif 231-231 | Viral agent is a subclass of virus |
| (subclass VirusDoubleStranded Virus) | VirusProteinAndCellPart.kif 146-146 | Virus double stranded is a subclass of virus |
| (subclass VirusSingleStranded Virus) | VirusProteinAndCellPart.kif 150-150 | Virus single stranded is a subclass of 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 | A viral genome is typically a part of a virus |
| (typicalPart VirionEnzyme Virus) | VirusProteinAndCellPart.kif 1137-1137 | A virion enzyme is typically a part of a virus |
| appearance as argument number 3 |
|
|
| (domain ViralPartFn 1 Virus) | VirusProteinAndCellPart.kif 1158-1158 | The number 1 argument of viral part is an instance of virus |
| (domain geneticSubstrateOfVirus 1 Virus) | VirusProteinAndCellPart.kif 35-35 | The number 1 argument of genetic substrate of virus is an instance of virus |
| (domain invadingVirus 2 Virus) | VirusProteinAndCellPart.kif 25-25 | The number 2 argument of invading virus is an instance of virus |
| (domainSubclass vaccine 2 Virus) | WMD.kif 1085-1085 | The number 2 argument of vaccine is a subclass of 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 |
|
|
|
|
|