| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23944-23944 | Somatic cell is disjoint from gamete |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23939-23942 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23938-23938 | Somatic cell is a subclass of eukaryotic cell |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10151-10151 | Blood cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1037-1037 | Decaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 890-890 | Diploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1043-1043 | Codecaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1025-1025 | Heptaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 986-986 | Hexaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 749-749 | Monoploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10753-10753 | Nerve cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1031-1031 | Octaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 968-968 | Pentaploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 933-933 | Tetraploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 915-915 | Triploid cell is a subclass of somatic cell |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23943-23943 |
|
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