![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation CellPart EnglishLanguage "part of a Cell") | Mid-level-ontology.kif 10879-10879 | |
(subclass CellPart BodyPart) | Mid-level-ontology.kif 10878-10878 | CellPart e' uma sub-classe de Parte do Corpo |
appearance as argument number 2 |
![]() |
(range CellPartFn CellPart) | VirusProteinAndCellPart.kif 1169-1169 | O contra-dominio de CellPartFn e' uma instancia de CellPart |
(subclass CellInternalMembraneGroup CellPart) | VirusProteinAndCellPart.kif 1079-1079 | CellInternalMembraneGroup e' uma sub-classe de CellPart |
(subclass CellMembrane CellPart) | VirusProteinAndCellPart.kif 442-442 | CellMembrane e' uma sub-classe de CellPart |
(subclass CellNucleus CellPart) | Mid-level-ontology.kif 10888-10888 | CellNucleus e' uma sub-classe de CellPart |
(subclass CellWall CellPart) | VirusProteinAndCellPart.kif 445-445 | CellWall e' uma sub-classe de CellPart |
(subclass Chromosome CellPart) | VirusProteinAndCellPart.kif 577-577 | Chromosome e' uma sub-classe de CellPart |
(subclass Chromotin CellPart) | VirusProteinAndCellPart.kif 596-596 | Chromotin e' uma sub-classe de CellPart |
(subclass Cytoplasm CellPart) | VirusProteinAndCellPart.kif 434-434 | Cytoplasm e' uma sub-classe de CellPart |
(subclass Cytoskeleton CellPart) | VirusProteinAndCellPart.kif 1049-1049 | Cytoskeleton e' uma sub-classe de CellPart |
(subclass Endomembrane CellPart) | VirusProteinAndCellPart.kif 1052-1052 | Endomembrane e' uma sub-classe de CellPart |
(subclass HydrophilicSide CellPart) | VirusProteinAndCellPart.kif 547-547 | HydrophilicSide e' uma sub-classe de CellPart |
(subclass HydrophobicSide CellPart) | VirusProteinAndCellPart.kif 536-536 | HydrophobicSide e' uma sub-classe de CellPart |
(subclass LipidBilayer CellPart) | VirusProteinAndCellPart.kif 492-492 | LipidBilayer e' uma sub-classe de CellPart |
(subclass Nucleosome CellPart) | VirusProteinAndCellPart.kif 618-618 | Nucleosome e' uma sub-classe de CellPart |
(subclass ProteinSynthesisTool CellPart) | VirusProteinAndCellPart.kif 438-438 | ProteinSynthesisTool e' uma sub-classe de CellPart |
(termFormat ChineseLanguage CellPart "细胞部分") | domainEnglishFormat.kif 13674-13674 | |
(termFormat ChineseTraditionalLanguage CellPart "細胞部分") | domainEnglishFormat.kif 13673-13673 | |
(termFormat EnglishLanguage CellPart "cell part") | domainEnglishFormat.kif 13672-13672 |
appearance as argument number 3 |
![]() |
(domainSubclass CellPartFn 2 CellPart) | VirusProteinAndCellPart.kif 1168-1168 | O argumento numero 2 de CellPartFn e' uma sub-classe de CellPart |
antecedent |
![]() |
(=> (instance ?OBJ1 CellPart) (exists (?CELL) (and (instance ?CELL Cell) (properPart ?OBJ1 ?CELL)))) |
Mid-level-ontology.kif 10881-10886 |
consequent |
![]() |
(=> (and (instance ?GOLGI GolgiApparatus) (member ?PART ?GOLGI)) (instance ?PART CellPart)) |
VirusProteinAndCellPart.kif 1060-1064 |
![]() |
![]() |