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 10588-10596
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 10586-10586 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 13448-13448 Game is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16995-16995 Smoking is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16912-16912 Social party is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21536-21536 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
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1488-1500
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9016-9030

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8927-8935
No TPTP formula. May not be expressible in strict first order. naics.kif 8528-8549
No TPTP formula. May not be expressible in strict first order. naics.kif 11456-11468
No TPTP formula. May not be expressible in strict first order. Medicine.kif 330-345
No TPTP formula. May not be expressible in strict first order. Medicine.kif 122-136
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1457-1465
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23508-23514
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2662-2671
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2443-2449
No TPTP formula. May not be expressible in strict first order. Sports.kif 1029-1035
No TPTP formula. May not be expressible in strict first order. Dining.kif 987-995
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8881-8887


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