Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Virus Microorganism) | Merge.kif 14790-14790 | Virus is a subclass of microorganism |
| (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 14791-14794 | Virus is a subclass of microorganism |
| (partition Virus DNAVirus RNAVirus) | VirusProteinAndCellPart.kif 40-40 | Virus is exhaustively partitioned into DNA virus and RNA virus |
| (partition Virus VirusDoubleStranded VirusSingleStranded) | VirusProteinAndCellPart.kif 41-41 | Virus is exhaustively partitioned into virus double stranded and virus single stranded |
| (partition Virus UnenvelopedVirus EnvelopedVirus) | VirusProteinAndCellPart.kif 42-42 | Virus is exhaustively partitioned into unenveloped virus and enveloped virus |
| (externalImage Virus "http://upload.wikimedia.org/wikipedia/commons/3/3c/ Tevenphage.png") | pictureList.kif 887-887 | Virus is exhaustively partitioned into unenveloped virus and enveloped virus |
| appearance as argument number 2 |
|
|
| (subclass DNAVirus Virus) | VirusProteinAndCellPart.kif 104-104 | DNA virus is a subclass of virus |
| (subclass RNAVirus Virus) | VirusProteinAndCellPart.kif 130-130 | RNA virus is a subclass of virus |
| (subclass UnenvelopedVirus Virus) | VirusProteinAndCellPart.kif 141-141 | Unenveloped virus is a subclass of virus |
| (subclass EnvelopedVirus Virus) | VirusProteinAndCellPart.kif 145-145 | Enveloped virus is a subclass of virus |
| (subclass VirusDoubleStranded Virus) | VirusProteinAndCellPart.kif 150-150 | Virus double stranded is a subclass of virus |
| (subclass VirusSingleStranded Virus) | VirusProteinAndCellPart.kif 154-154 | Virus single stranded is a subclass of virus |
| (typicalPart ViralGenome Virus) | VirusProteinAndCellPart.kif 1097-1097 | A viral genome is typically a part of a virus |
| (typicalPart VirionEnzyme Virus) | VirusProteinAndCellPart.kif 1122-1122 | A virion enzyme is typically a part of a virus |
| (subclass ViralAgent Virus) | WMD.kif 225-225 | Viral agent is a subclass of virus |
| (subclass TickBorneEncephalitisVirus Virus) | WMD.kif 2013-2013 | Tick borne encephalitis virus is a subclass of virus |
| (termFormat EnglishLanguage Virus "virus") | english_format.kif 1161-1161 | Tick borne encephalitis virus is a subclass of virus |
| appearance as argument number 3 |
|
|
| (domain invadingVirus 2 Virus) | VirusProteinAndCellPart.kif 25-25 | The number 2 argument of invading virus 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 ViralPartFn 1 Virus) | VirusProteinAndCellPart.kif 1143-1143 | The number 1 argument of viral part is an instance of virus |
| (domainSubclass vaccine 2 Virus) | WMD.kif 1081-1081 | The number 2 argument of vaccine is a subclass of virus |
| antecedent |
|
|
| (=> (and (instance ?VIRUS Virus) (inhabits ?VIRUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14796-14800 | If X is an instance of virus and X lives in Y, then Y is an instance of organism |
| (=> (and (instance ?VIRUS Virus) (instance ?PROC Replication) (agent ?PROC ?VIRUS)) (exists (?CELL) (and (located ?PROC ?CELL) (instance ?CELL Cell)))) |
Merge.kif 14802-14810 | If X is an instance of virus, Y is an instance of replication, and X is an agent of Y, then there exists Z such that Y is located at Z and Z is an instance of cell |
| (=> (instance ?OBJ1 Virus) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 VirusPart)))) |
VirusProteinAndCellPart.kif 1131-1136 | If X is an instance of virus, then there exists Y such that Y is a proper part of X and Y is an instance of virus part |
| 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 3784-3796 | If X is an instance of Interleukin, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of human (3) Z is an instance of Bacteria or Z is an instance of virus (4) Y is an instance of destruction (5) Y is located at W (6) X is an instrument for Y (7) Z is a patient of Y |
| (=> (instance ?PART VirusPart) (exists (?VIRUS) (and (instance ?VIRUS Virus) (part ?PART ?VIRUS)))) |
VirusProteinAndCellPart.kif 1090-1095 | If X is an instance of virus part, then there exists Y such that Y is an instance of virus and X is a part of Y |
| (=> (instance ?OBJ1 VirusPart) (exists (?OBJ2) (and (properPart ?OBJ1 ?OBJ2) (instance ?OBJ2 Virus)))) |
VirusProteinAndCellPart.kif 1124-1129 | If X is an instance of virus part, then there exists Y such that X is a proper part of Y and Y is an instance of virus |
|
