Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RecreationOrExerciseDevice
RecreationOrExerciseDevice(recreation or exercise device)Frisbee, Lego, Lego_set, Meccano, Meccano_set, cockhorse, dandle_board, dumbbell, exercising_weight, football_tee, free_weight, golf_tee, hula-hoop, jungle_gym, playground_slide, pogo_stick, seesaw, slide, sliding_board, stick_horse, swing, tee, teeter, teeter-totter, teeterboard, teetertotter, tilting_board, toy, weight

appearance as argument number 1
-------------------------


(documentation RecreationOrExerciseDevice EnglishLanguage "A Device whose purpose is RecreationOrExercise.") Mid-level-ontology.kif 2375-2375
(subclass RecreationOrExerciseDevice Device) Mid-level-ontology.kif 2374-2374 Recreation or exercise device is a subclass of device

appearance as argument number 2
-------------------------


(subclass AerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 8228-8228 Aerobic exercise device is a subclass of recreation or exercise device
(subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 8232-8232 Anaerobic exercise device is a subclass of recreation or exercise device
(termFormat ChineseLanguage RecreationOrExerciseDevice "娱乐或运动器材") domainEnglishFormat.kif 49016-49016
(termFormat ChineseTraditionalLanguage RecreationOrExerciseDevice "娛樂或運動器材") domainEnglishFormat.kif 49015-49015
(termFormat EnglishLanguage RecreationOrExerciseDevice "recreation or exercise device") domainEnglishFormat.kif 49014-49014

antecedent
-------------------------


(=>
    (instance ?D RecreationOrExerciseDevice)
    (hasPurpose ?D
        (exists (?E)
            (and
                (instance ?E RecreationOrExercise)
                (instrument ?E ?D)))))
Mid-level-ontology.kif 2377-2383


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