| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12211-12211 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12210-12210 | Cell part is a subclass of body part |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1178-1178 | The range of cell part is an instance of cell part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1088-1088 | Cell internal membrane group is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 447-447 | Cell membrane is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12220-12220 | Cell nucleus is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 450-450 | Cell wall is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 582-582 | Chromosome is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 602-602 | Chromotin is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 439-439 | Cytoplasm is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1058-1058 | Cytoskeleton is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1061-1061 | Endomembrane is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 552-552 | Hydrophilic side is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 541-541 | Hydrophobic side is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 497-497 | Lipid bilayer is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 624-624 | Nucleosome is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 443-443 | Protein synthesis tool is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13683-13683 | Protein synthesis tool is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13682-13682 | Protein synthesis tool is a subclass of cell part |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13681-13681 | Protein synthesis tool is a subclass of cell part |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1177-1177 | The number 2 argument of cell part is a subclass of cell part |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12213-12218 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1069-1073 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners