ViralCore |
appearance as argument number 1 |
![]() |
(documentation ViralCore EnglishLanguage "The class of viral cores. The ViralCore of a virus is the virus less its envelope.") | VirusProteinAndCellPart.kif 1161-1162 | |
(subclass ViralCore VirusPart) | VirusProteinAndCellPart.kif 1160-1160 | ViralCore est une sous-classe de VirusPart |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage ViralCore "病毒核心") | domainEnglishFormat.kif 61694-61694 | |
(termFormat ChineseTraditionalLanguage ViralCore "病毒核心") | domainEnglishFormat.kif 61693-61693 | |
(termFormat EnglishLanguage ViralCore "viral core") | domainEnglishFormat.kif 61692-61692 |
consequent |
![]() |
(=> (instance ?OBJ1 EnvelopedVirus) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 ViralCore) (not (exists (?OBJ3) (and (instance ?OBJ3 ViralCore) (properPart ?OBJ3 ?OBJ1) (not (equal ?OBJ3 ?OBJ2)))))))) |
VirusProteinAndCellPart.kif 1193-1204 | |
(=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (surface ?OBJ1 ?OBJ2) (instance ?OBJ2 ViralCore)))) |
VirusProteinAndCellPart.kif 1213-1218 |
|
![]() |
![]() |