No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 391-391 |
Prokaryotic cell is disjoint from eukaryotic cell |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24003-24003 |
Gamete is a subclass of eukaryotic cell |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23995-23995 |
Somatic cell is a subclass of eukaryotic cell |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24049-24049 |
Zygote is a subclass of eukaryotic cell |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22486-22486 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22485-22485 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22484-22484 |
|