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

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


(subclass AerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 9395-9395 Aerobic exercise device is a subclass of recreation or exercise device
(subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 9399-9399 Anaerobic exercise device is a subclass of recreation or exercise device
(termFormat ChineseLanguage RecreationOrExerciseDevice "娱乐或运动器材") domainEnglishFormat.kif 49020-49020 Anaerobic exercise device is a subclass of recreation or exercise device
(termFormat ChineseTraditionalLanguage RecreationOrExerciseDevice "娛樂或運動器材") domainEnglishFormat.kif 49019-49019 Anaerobic exercise device is a subclass of recreation or exercise device
(termFormat EnglishLanguage RecreationOrExerciseDevice "recreation or exercise device") domainEnglishFormat.kif 49018-49018 Anaerobic exercise device is a subclass of recreation or exercise device

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


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


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