No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5574-5574 | Washing est une sous-classe de supprimer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5575-5575 | Washing est une sous-classe de Cleaning |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8859-8859 | Bathing est une sous-classe de Washing |