| appearance as argument number 1 |
|
| (documentation VirusCoreEnvelope EnglishLanguage "The class of core envelopes inside of which the genetic material of the virus and virion enzymes are contained.") | VirusProteinAndCellPart.kif 1124-1125 | |
| (subclass VirusCoreEnvelope VirusPart) | VirusProteinAndCellPart.kif 1123-1123 | VirusCoreEnvelope est une sous-classe de VirusPart |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage VirusCoreEnvelope "病毒核心信封") | domainEnglishFormat.kif 61748-61748 | |
| (termFormat ChineseTraditionalLanguage VirusCoreEnvelope "病毒核心信封") | domainEnglishFormat.kif 61747-61747 | |
| (termFormat EnglishLanguage VirusCoreEnvelope "virus core envelope") | domainEnglishFormat.kif 61746-61746 |
| antecedent |
|
|
| (=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Palisade)))) |
VirusProteinAndCellPart.kif 1134-1139 | |
| (=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (surface ?OBJ1 ?OBJ2) (instance ?OBJ2 ViralCore)))) |
VirusProteinAndCellPart.kif 1213-1218 |
|
| consequent |
|
|
| (=> (instance ?VIR VacciniaVirion) (exists (?ENV) (and (instance ?ENV VirusCoreEnvelope) (interiorPart ?ENV ?VIR)))) |
VirusProteinAndCellPart.kif 1186-1191 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners