No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8821-8821 | Surfactant is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8830-8830 | Detergent is a subclass of surfactant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5965-5965 | Soap is a subclass of surfactant |