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 2334-2334
(subclass RecreationOrExerciseDevice Device) Mid-level-ontology.kif 2333-2333 Recreation or exercise device is a subclass of device

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


(subclass AerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 7835-7835 Aerobic exercise device is a subclass of recreation or exercise device
(subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 7839-7839 Anaerobic exercise device is a subclass of recreation or exercise device
(termFormat ChineseLanguage RecreationOrExerciseDevice "娱乐或运动器材") domainEnglishFormat.kif 48999-48999
(termFormat ChineseTraditionalLanguage RecreationOrExerciseDevice "娛樂或運動器材") domainEnglishFormat.kif 48998-48998
(termFormat EnglishLanguage RecreationOrExerciseDevice "recreation or exercise device") domainEnglishFormat.kif 48997-48997

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


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


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