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 9941-9949
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9939-9939	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 445-445	FitnessExercise is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12458-12458	Game is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13748-13748	Smoking is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13667-13667	Social party is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18217-18217	Vacationing is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	Sports.kif 446-446	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 1402-1402

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 8451-8472	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 an object such that the object is a member of the collection and the agent is an agent of the object 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 object 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 11379-11391	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 2 for permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20306-20312	If a physical is an instance of entertainment building, then the physical purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2839-2845	If a physical is an instance of recreation or exercise device, then the physical 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 878-884	If a physical is an instance of miniature golf, then the physical purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at 2
No TPTP formula. May not be expressible in strict first order.	Dining.kif 940-948	If a physical is an instance of playground, then the physical 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 2 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 7833-7839	If a physical is an instance of park, then the physical purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at 2

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