| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 129-137 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18083-18091 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14368-14368 | 有机物体 是 躯体性物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14369-14369 | 有机物体 是 OrganicThing 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 50-50 | Nucleotide 是 有机物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 82-82 | Biopolymer 是 有机物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 640-640 | Gene 是 有机物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28-28 | OrganismRemains 是 有机物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14376-14376 | 生物 是 有机物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14935-14935 | 解剖结构 是 有机物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 351-351 | Miswak 是 有机物体 的 subclass |
|
|