No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5573-5573 | Washing is a subclass of removing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5574-5574 | Washing is a subclass of cleaning |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8858-8858 | Bathing is a subclass of washing |
![]() |