No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8895-8895 | BathingDevice e' uma sub-classe de WashingDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2017-2017 | Shower e' uma sub-classe de BathingDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2041-2041 | BathTub e' uma sub-classe de BathingDevice |