No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8242-8256 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10545-10545 | 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 15983-15983 | Social party is a subclass of recreation or exercise |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16066-16066 | Smoking is a subclass of recreation or exercise |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20446-20446 | Vacationing is a subclass of recreation or exercise |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13395-13395 | Game is a subclass of recreation or exercise |