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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - RecreationOrExerciseDevice

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 娱乐或运动器材设备subclass

appearance as argument number 2

(subclass AerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 8227-8227 有氧运动装置娱乐或运动器材subclass
(subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 8231-8231 无氧运动装置娱乐或运动器材subclass
(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


    (instance ?D RecreationOrExerciseDevice)
    (hasPurpose ?D
        (exists (?E)
                (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