| 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 8571-8571 | Urea est une sous-classe de OrganicCompound |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8577-8577 | Steroid est une sous-classe de OrganicCompound |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8582-8582 | Hydrocarbon est une sous-classe de OrganicCompound |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8611-8611 | Alcohol est une sous-classe de OrganicCompound |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8695-8695 | AminoAcid est une sous-classe de OrganicCompound |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5225-5225 | WoodProduct est une sous-classe de OrganicCompound |
|
|