| Cell(細胞)
| |
| appearance as argument number 1 |
|
|
| (documentation Cell ChineseLanguage "这是有生命 Organism 基本的结构单位和功能部分。") | chinese_format.kif 3518-3518 | |
| (documentation Cell EnglishLanguage "The fundamental structural and functional unit of living Organisms.") | Merge.kif 15260-15261 | |
| (externalImage Cell "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 83/ Celltypes.svg/ 300px_Celltypes.svg.png") | pictureList.kif 1068-1068 | |
| (subclass Cell BodyPart) | Merge.kif 15259-15259 | 細胞 は 体の部分 の subclass では |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain CellPartFn 1 Cell) | VirusProteinAndCellPart.kif 1176-1176 | CellPartFn の数値 1 引数は 細胞 の instance では |
| (domain cellShape 1 Cell) | VirusProteinAndCellPart.kif 409-409 | cellShape の数値 1 引数は 細胞 の instance では |
| antecedent |
|
|
| (=> (and (instance ?G Gene) (located ?G ?C) (instance ?C Cell)) (exists (?B ?N ?R) (and (instance ?B BiologicalProcess) (eventLocated ?B ?C) (origin ?B ?G) (result ?B ?N) (instance ?N Nucleotide) (part ?N ?R) (instance ?R RNAMolecule) (located ?R ?C)))) |
VirusProteinAndCellPart.kif 661-675 |
|
| (=> (instance ?C Cell) (modalAttribute (or (cellShape ?C Sphere) (cellShape ?C Cylinder)) Likely)) |
VirusProteinAndCellPart.kif 423-428 | |
| (=> (instance ?CELL Cell) (exists (?ENVELOPE) (and (instance ?ENVELOPE CellEnvelope) (part ?ENVELOPE ?CELL)))) |
VirusProteinAndCellPart.kif 1078-1083 |
| consequent |
|
|
| (=> (and (instance ?AI AutoImmuneDisorder) (experiencer ?AI ?H)) (exists (?A ?D ?C) (and (instance ?A Antibody) (part ?A ?H) (instance ?C Cell) (part ?C ?H) (instance ?D Destruction) (instrument ?D ?A) (not (desires ?H (and (instance ?D Destruction) (instrument ?D ?A))))))) |
Medicine.kif 2198-2214 |
|
| (=> (and (instance ?VIRUS Virus) (instance ?PROC Replication) (agent ?PROC ?VIRUS)) (exists (?CELL) (and (located ?PROC ?CELL) (instance ?CELL Cell)))) |
Merge.kif 14643-14651 | |
| (=> (instance ?BACTERIUM Bacterium) (exists (?CELL1) (and (component ?CELL1 ?BACTERIUM) (instance ?CELL1 Cell) (forall (?CELL2) (=> (and (component ?CELL2 ?BACTERIUM) (instance ?CELL2 Cell)) (equal ?CELL1 ?CELL2)))))) |
Merge.kif 14612-14623 | |
| (=> (instance ?MEMBRANE CellMembraneInternal) (exists (?CELL) (and (instance ?CELL Cell) (interiorPart ?MEMBRANE ?CELL)))) |
VirusProteinAndCellPart.kif 490-495 | |
| (=> (instance ?NUCLEUS CellNucleus) (exists (?CELL) (and (instance ?CELL Cell) (part ?NUCLEUS ?CELL)))) |
Mid-level-ontology.kif 12226-12231 | |
| (=> (instance ?O Organelle) (exists (?C) (and (instance ?C Cell) (part ?O ?C)))) |
Mid-level-ontology.kif 11462-11467 | |
| (=> (instance ?OBJ1 CellPart) (exists (?CELL) (and (instance ?CELL Cell) (properPart ?OBJ1 ?CELL)))) |
Mid-level-ontology.kif 12213-12218 | |
| (=> (instance ?PART AnatomicalStructure) (exists (?CELL) (and (instance ?CELL Cell) (part ?CELL ?PART)))) |
Merge.kif 15082-15087 | |
| (=> (instance ?STUFF Tissue) (exists (?PART) (and (instance ?PART Cell) (part ?PART ?STUFF)))) |
Merge.kif 15287-15292 | |
| (=> (instance ?W CellWall) (exists (?CELL ?SURF) (and (instance ?CELL Cell) (part ?W ?CELL) (surface ?SURF ?CELL) (part ?SURF ?W)))) |
VirusProteinAndCellPart.kif 477-484 |
|
|
|
|