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. | Cars.kif 2477-2477 | ChemicalAcid est une sous-classe de substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8694-8694 | AminoAcid est une sous-classe de ChemicalAcid |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2485-2485 | SulfuricAcid est une sous-classe de ChemicalAcid |
![]() |