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 10648-10656
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 10646-10646	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 571-571	Fitness exercise is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13512-13512	Game is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17454-17454	Smoking is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17371-17371	Social party is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22064-22064	Vacationing is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	Sports.kif 572-572	Yoga is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1093-1093	Yoga is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1397-1397	Yoga is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	french_format.kif 771-771	Yoga is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 303-303	Yoga is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 306-306	Yoga is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2455-2455	Yoga is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 723-723	Yoga is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 342-342	Yoga is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 601-601	Yoga is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 792-792	Yoga is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 307-307	Yoga is a subclass of recreation or exercise

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 355-373	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 1492-1504	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 9410-9424	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 9321-9329	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 330-345	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 1461-1469	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 24037-24043	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 2665-2674	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 2840-2846	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 1041-1047	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 9275-9281	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