| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23991-23991 | Zygote e' uma sub-classe de EukaryoticCell |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 749-749 | MonoploidCell e' uma sub-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 890-890 | DiploidCell e' uma sub-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 915-915 | TriploidCell e' uma sub-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 933-933 | TetraploidCell e' uma sub-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 968-968 | PentaploidCell e' uma sub-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 986-986 | HexaploidCell e' uma sub-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1025-1025 | HeptaploidCell e' uma sub-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1031-1031 | OctaploidCell e' uma sub-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1037-1037 | DecaploidCell e' uma sub-classe de Zygote |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1043-1043 | DodecaploidCell e' uma sub-classe de Zygote |
|
|