Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Descriptor
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass CellPartFn 2 CellPart) | VirusProteinAndCellPart.kif 1155-1155 | 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 12338-12343 | If X is an instance of cell part, then there exists Y such that Y is an instance of cell and X is a proper part of Y |
| consequent |
|
|
| (=> (and (instance ?GOLGI GolgiApparatus) (member ?PART ?GOLGI)) (instance ?PART CellPart)) |
VirusProteinAndCellPart.kif 1047-1051 | If X is an instance of golgi apparatus and Y is a member of X, then Y is an instance of cell part |
|