| 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 15245-15246 | |
| (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 15244-15244 |
| appearance as argument number 2 |
|
|
| (subclass EukaryoticCell Cell) | VirusProteinAndCellPart.kif 385-385 | |
| (subclass ProkaryoticCell Cell) | VirusProteinAndCellPart.kif 395-395 | |
| (termFormat ChineseLanguage Cell "细胞") | chinese_format.kif 1022-1022 | |
| (termFormat EnglishLanguage Cell "cell") | english_format.kif 1256-1256 | |
| (termFormat FrenchLanguage Cell "cellule") | french_format.kif 700-700 | |
| (termFormat Hindi Cell "koshIka") | terms-hindi.txt 231-231 | |
| (termFormat ItalianLanguage Cell "Cellula") | terms-it.txt 234-234 | |
| (termFormat JapaneseLanguage Cell "細胞") | japanese_format.kif 2383-2383 | |
| (termFormat PortugueseLanguage Cell "Celula") | portuguese_format.kif 652-652 | |
| (termFormat cz Cell "cell") | terms-cz.txt 269-269 | |
| (termFormat de Cell "Zelle") | terms-de.txt 528-528 | |
| (termFormat ro Cell "celulã") | relations-ro.kif 721-721 | |
| (termFormat tg Cell "Selula") | terms-tg.txt 235-235 |
| appearance as argument number 3 |
|
|
| (domain CellPartFn 1 Cell) | VirusProteinAndCellPart.kif 1176-1176 | |
| (domain cellShape 1 Cell) | VirusProteinAndCellPart.kif 409-409 |
| 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 14628-14636 | |
| (=> (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 14597-14608 | |
| (=> (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 12244-12249 | |
| (=> (instance ?O Organelle) (exists (?C) (and (instance ?C Cell) (part ?O ?C)))) |
Mid-level-ontology.kif 11480-11485 | |
| (=> (instance ?OBJ1 CellPart) (exists (?CELL) (and (instance ?CELL Cell) (properPart ?OBJ1 ?CELL)))) |
Mid-level-ontology.kif 12231-12236 | |
| (=> (instance ?PART AnatomicalStructure) (exists (?CELL) (and (instance ?CELL Cell) (part ?CELL ?PART)))) |
Merge.kif 15067-15072 | |
| (=> (instance ?STUFF Tissue) (exists (?PART) (and (instance ?PART Cell) (part ?PART ?STUFF)))) |
Merge.kif 15272-15277 | |
| (=> (instance ?W CellWall) (exists (?CELL ?SURF) (and (instance ?CELL Cell) (part ?W ?CELL) (surface ?SURF ?CELL) (part ?SURF ?W)))) |
VirusProteinAndCellPart.kif 477-484 |
|
|
|