|
|
  GivatZeEvWestBank
|
|
|
| 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 1152-1153 | |
| (subclass ViralCore VirusPart) | VirusProteinAndCellPart.kif 1151-1151 | 病毒核心 是 病毒部分 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ViralCore "病毒核心") | domainEnglishFormat.kif 61700-61700 | |
| (termFormat ChineseTraditionalLanguage ViralCore "病毒核心") | domainEnglishFormat.kif 61699-61699 | |
| (termFormat EnglishLanguage ViralCore "viral core") | domainEnglishFormat.kif 61698-61698 |
| 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 1184-1195 | |
| (=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (surface ?OBJ1 ?OBJ2) (instance ?OBJ2 ViralCore)))) |
VirusProteinAndCellPart.kif 1204-1209 |
|
|
|
|