CellPart(cell part) |
appearance as argument number 1 |
(documentation CellPart EnglishLanguage "part of a Cell") | Mid-level-ontology.kif 10907-10907 | |
(subclass CellPart BodyPart) | Mid-level-ontology.kif 10906-10906 | Cell part is a subclass of body part |
appearance as argument number 2 |
appearance as argument number 3 |
(domainSubclass CellPartFn 2 CellPart) | VirusProteinAndCellPart.kif 1170-1170 | The number 2 argument of cell part is a subclass of cell part |
antecedent |
(=> (instance ?OBJ1 CellPart) (exists (?CELL) (and (instance ?CELL Cell) (properPart ?OBJ1 ?CELL)))) |
Mid-level-ontology.kif 10909-10914 |
|
consequent |
(=> (and (instance ?GOLGI GolgiApparatus) (member ?PART ?GOLGI)) (instance ?PART CellPart)) |
VirusProteinAndCellPart.kif 1062-1066 |
|