![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
DomesticCat
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ViralCellInvasion BiologicalProcess) | VirusProteinAndCellPart.kif 16-16 | Viral cell invasion is a subclass of biological process |
| (documentation ViralCellInvasion EnglishLanguage "The Class of events in which a cell is penetrated by a virus and in which a virus enters the cell to be, or perhaps not be, further processed within the cell.") | VirusProteinAndCellPart.kif 17-19 | Viral cell invasion is a subclass of biological process |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain invadingVirus 1 ViralCellInvasion) | VirusProteinAndCellPart.kif 24-24 | The number 1 argument of invading virus is an instance of viral cell invasion |