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 10584-10592
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 10582-10582	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 13444-13444	Game is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16923-16923	Smoking is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16840-16840	Social party is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21365-21365	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	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 1488-1500	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 8943-8957	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 8854-8862	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 1457-1465	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 23337-23343	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 2662-2671	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 2370-2376	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 1029-1035	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 8808-8814	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