RecreationOrExercise - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RecreationOrExercise

RecreationOrExercise(recreation or exercise)

April_fool, Bacchanalia, Dionysia, Fat_Tuesday, Kegel_exercises, Kwanza, Kwanzaa, Mardi_Gras, Oktoberfest, Pythian_Games, Royal_National_Eisteddfod, Saturnalia, Swedish_massage, aerophilatelic, amusement, antic, avocation, bacchanal, bacchanalia, bag, beat, bed_rest, bedrest, beguilement, bench_press, bender, binge, blowout, booze-up, bopeep, bout, break, burn, burn_off, burn_up, busman's_holiday, bust, by-line, cabaret, caper, caravanning, carnival, carousal, carouse, cat's_cradle, catch, child's_play, clean, clean_and_jerk, conditioner...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2937-2941
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10525-10533
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1689-1694
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10523-10523	Recreation or exercise is a subclass of intentional process

appearance as argument number 2

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.	Merge.kif 13373-13373	Game 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 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 20447-20447	Vacationing 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.	chinese_format.kif 1093-1093
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1397-1397
No TPTP formula. May not be expressible in strict first order.	french_format.kif 771-771
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 303-303
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 306-306
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2455-2455
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 723-723
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 342-342
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 792-792
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 307-307

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 367-385	If an agent breathes at a rate of an integer breaths per a time interval and the time interval is an instance of minute and there doesn't exist the integer such that the integer is an instance of recreation or exercise and the agent is an agent of the integer and the time interval takes place during the time of existence of the integer and human adult is an attribute of the agent holds during the time interval and the integer is greater than 16 or the integer is less than 12, then healthy is not an attribute of the agent holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1500-1512	If ME/CFS is an attribute of an agent holds during a time interval and a process is an instance of recreation or exercise and the agent is an agent of the process and the time of existence of the process takes place during the time interval, then the statement PEM is an attribute of the agent holds during the time interval2 and the time of existence of the process happens earlier than the time interval2 has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8243-8257	If a process is an instance of recreation or exercise and the processM is an instrument for the process and the processM is an instance of ergometer and an agent experiences the process and the processOW is an instance of rowing and the processMOT is a subprocess of the process and a class is a subclass of body motion and the processMOT is an instance of the class, then there exists the processOWMOT such that the processOWMOT is an instance of the class and the processOWMOT is a subprocess of the process and the agent is an agent of the processOWMOT

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8154-8162	If a cultivated land area is an instance of garden and plant Located in the cultivated land area., then the cultivated land area has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at the cultivated land area
No TPTP formula. May not be expressible in strict first order.	naics.kif 8528-8549	If a collection is an instance of organization and scenic and sightseeing transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the entity is an instance of recreation or exercise and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 11456-11468	If an agent is an instance of ticket and the agent possesses an object and a cognitive agent is an issued by of the agent and amusement gambling and recreation industries is an attribute of the cognitive agent and the cognitive agent is located at another object, then the cognitive agent confers norm there exists an entity such that the entity is an instance of recreation or exercise and the object experiences the entity and the entity is located at the other object for permission
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 342-357	If the resting breathing rate of a mammal is an integer and an object is an instance of lung and the object is a part of the mammal, then there exists a time interval such that there doesn't exist the integerEC such that the integerEC is an instance of recreation or exercise and the mammal is an agent of the integerEC and the time interval takes place during the time of existence of the integerEC and the time interval is an instance of minute and the mammal breathes at a rate of the integer breaths per the time interval
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 122-136	If the resting heart rate of a mammal is an integer and the mammalEART is an instance of heart and the mammalEART is a part of the mammal, then there exists a time interval such that there doesn't exist the integerEC such that the integerEC is an instance of recreation or exercise and the mammal is an agent of the integerEC and the time interval takes place during the time of existence of the integerEC and the time interval is an instance of minute and the mammal beats at a rate of the integer beats per the time interval
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1469-1477	If PEM is an attribute of an entity holds during a time interval, then there exists a process such that the process is an instance of recreation or exercise and an agent is an agent of the process and the time of existence of the process happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22394-22400	If a physical is an instance of entertainment building, then the physical has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2471-2480	If a physical is an instance of cruise ship, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of recreation or exercise and the third entity possesses the physical and the other entity is an agent of the entity and the other entity is a customer of the third entity and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2377-2383	If a physical is an instance of recreation or exercise device, then the physical has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1027-1033	If a physical is an instance of miniature golf, then the physical has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Dining.kif 987-995	If a physical is an instance of playground, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of recreation or exercise and the other entity is located at the physical and the entity is an instance of human child and the entity is an agent of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8108-8114	If a physical is an instance of park, then the physical has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at the physical

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners