| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| 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 1165-1165 | The number 1 argument of viral part 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 14659-14663 | 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 14665-14673 | 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 1153-1158 | 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 3746-3758 | 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 1112-1117 | 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 1146-1151 | 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 |
|
|
|