| appearance as argument number 1 |
|
| (subclass ViralCore VirusPart) | VirusProteinAndCellPart.kif 1138-1138 | Viral core is a subclass of virus part |
| (documentation ViralCore EnglishLanguage "The class of viral cores. The ViralCore of a virus is the virus less its envelope.") | VirusProteinAndCellPart.kif 1139-1140 | Viral core is a subclass of virus part |
| appearance as argument number 2 |
|
|
| 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 1171-1182 | If X is an instance of enveloped virus, then there exists Y such that Y is a proper part of X, Y is an instance of viral core, there doesn't exist Z such that Z is an instance of viral core, Z is a proper part of X, equal Z, and Y |
| (=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (surface ?OBJ1 ?OBJ2) (instance ?OBJ2 ViralCore)))) |
VirusProteinAndCellPart.kif 1191-1196 | If X is an instance of virus core envelope, then there exists Y such that X is a surface of Y and Y is an instance of viral core |
|
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