No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5700-5700 | Massaging is a subclass of therapeutic process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5701-5701 | Massaging is a subclass of touching |