No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5574-5574 | Washing is a subclass of removing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5575-5575 | Washing is a subclass of cleaning |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8859-8859 | Bathing is a subclass of washing |