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 |
|
| 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 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 |
|
