| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1053-1058 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1231-1239 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1041-1041 | 子類 Substance and SelfConnectedObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1693-1693 | 子類 汽油 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2556-2556 | 子類 電力 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4589-4589 | 子類 條編材料 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8822-8822 | 子類 表面活性劑 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8950-8950 | 子類 粉末 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17862-17862 | 子類 爆炸性物質 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17904-17904 | 子類 岩石 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1067-1067 | 子類 合成物質 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1080-1080 | 子類 天然物質 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1084-1084 | 子類 PureSubstance and Substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1182-1182 | 子類 Mixture and Substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14311-14311 | 子類 Mineral and Substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14671-14671 | 子類 BiologicallyActiveSubstance and Substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14806-14806 | 子類 BodySubstance and Substance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3082-3082 | 子類 DrugCandidate and Substance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3793-3793 | 子類 Creatinine and Substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2664-2664 | 子類 流出的 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2762-2762 | 子類 有毒物質 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7110-7110 | 子類 Crystal and Substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7488-7488 | 子類 LiquidDrop and Substance |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1281-1281 | 子類 導體物質 and Substance |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1286-1286 | 子類 絕緣體物質 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4158-4158 | 子類 糖 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4750-4750 | 子類 阿拉伯樹膠 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2471-2471 | 子類 化學酸 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2975-2975 | 子類 Lubricant and Substance |
|
|