| 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 is a subclass of self connected object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1686-1686 | Fuel is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2549-2549 | Electricity is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4584-4584 | Wicker is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8849-8849 | Surfactant is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8977-8977 | Powder is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17889-17889 | Explosive substance is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17931-17931 | Rock is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1067-1067 | Synthetic substance is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1080-1080 | Natural substance is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1084-1084 | Pure substance is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1182-1182 | Mixture is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14357-14357 | Mineral is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14717-14717 | Biologically active substance is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14852-14852 | Body substance is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3082-3082 | Drug candidate is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3793-3793 | Creatinine is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2664-2664 | Effluent is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2762-2762 | Noxious substance is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7110-7110 | Crystal is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7488-7488 | Liquid drop is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1281-1281 | Conductor substance is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1286-1286 | Insulator substance is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4158-4158 | Sugar is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4750-4750 | Gum arabic is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2454-2454 | Chemical acid is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2958-2958 | Lubricant is a subclass of substance |
|
|