| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1778-1792 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1173-1173 | Substance compos�e est une sous-classe de substance pure |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 445-445 | ChemicalAgent est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1453-1453 | Saxitoxin est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1468-1468 | Conotoxin est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1477-1477 | Tetrodotoxin est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 81-81 | IllicitDrug est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1701-1701 | Wax est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6473-6473 | ConjugatedSubstance est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8558-8558 | OrganicCompound est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8720-8720 | ChemicalAcid est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8737-8737 | ChemicalBase est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8741-8741 | ChemicalSalt est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8807-8807 | Oil est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21729-21729 | AtomicGroup est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14329-14329 | Eau est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14721-14721 | Hydrate de carbone est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15686-15686 | Mol�cule est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1996-1996 | Barite est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2013-2013 | Chromite est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2034-2034 | NaturalGas est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2044-2044 | Phosphate est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2050-2050 | Potash est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2639-2639 | DDT est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7166-7166 | SulphurDioxide est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7201-7201 | NitricOxide est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7226-7226 | NitrogenDioxide est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3409-3409 | CarbonDioxide est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5610-5610 | Alumina est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5621-5621 | IronOre est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5816-5816 | ChemicalProduct est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5921-5921 | Cement est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5983-5983 | PhosphoricAcid est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1794-1794 | Chlorofluorocarbon est une sous-classe de substance compos�e |
|
|