No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8243-8257 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10523-10523 | Recreation or exercise is a subclass of intentional process |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 559-559 | Fitness exercise is a subclass of recreation or exercise |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 560-560 | Yoga is a subclass of recreation or exercise |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15984-15984 | Social party is a subclass of recreation or exercise |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16067-16067 | Smoking is a subclass of recreation or exercise |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20447-20447 | Vacationing is a subclass of recreation or exercise |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13373-13373 | Game is a subclass of recreation or exercise |