|
|
   CellPart
|
|
|
| appearance as argument number 1 |
|
|
| (documentation CellPart EnglishLanguage "part of a Cell") | Mid-level-ontology.kif 10880-10880 | |
| (subclass CellPart BodyPart) | Mid-level-ontology.kif 10879-10879 | CellPart ist eine teilkategorie von BodyPart |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass CellPartFn 2 CellPart) | VirusProteinAndCellPart.kif 1169-1169 | Die Zahl 2 Argument von CellPartFn ist eine teilkategorie von CellPart %n{nicht} |
| antecedent |
|
|
| (=> (instance ?OBJ1 CellPart) (exists (?CELL) (and (instance ?CELL Cell) (properPart ?OBJ1 ?CELL)))) |
Mid-level-ontology.kif 10882-10887 |
|
| consequent |
|
|
| (=> (and (instance ?GOLGI GolgiApparatus) (member ?PART ?GOLGI)) (instance ?PART CellPart)) |
VirusProteinAndCellPart.kif 1061-1065 |
|
|
|
|