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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AnaerobicExerciseDevice
AnaerobicExerciseDevice(无氧运动装置)
more pictures...

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


(disjoint AnaerobicExerciseDevice AerobicExerciseDevice) Mid-level-ontology.kif 8233-8233 无氧运动装置 和 % 2 是 disjoint
(documentation AnaerobicExerciseDevice EnglishLanguage "An RecreationOrExerciseDevice whose purpose is to develop Muscles without also developing the cardiovascular system.") Mid-level-ontology.kif 8234-8235
(externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 05/ LegPressMachineExercise.JPG") pictureList.kif 10406-10406
(externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ LegExtensionMachineExercise.JPG") pictureList.kif 10407-10407
(externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8d/ CrossTrainer.JPG") pictureList.kif 10405-10405
(externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ a/ ac/ SwissBallSquat.JPG") pictureList.kif 10408-10408
(externalImage AnaerobicExerciseDevice "http://upload.wikimedia.org/wikipedia/ commons/ a/ ad/ Exercise_zones.png") pictureList.kif 9885-9885
(subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 8232-8232 无氧运动装置娱乐或运动器材subclass

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


(disjoint Toy AnaerobicExerciseDevice) Mid-level-ontology.kif 2391-2391 Toy 和 % 2 是 disjoint
(termFormat ChineseLanguage AnaerobicExerciseDevice "无氧运动装置") domainEnglishFormat.kif 7362-7362
(termFormat ChineseTraditionalLanguage AnaerobicExerciseDevice "無氧運動裝置") domainEnglishFormat.kif 7361-7361
(termFormat EnglishLanguage AnaerobicExerciseDevice "anaerobic exercise device") domainEnglishFormat.kif 7360-7360

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


(=>
    (and
        (instance ?W Weightlifting)
        (agent ?W ?H))
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D AnaerobicExerciseDevice)
                (instrument ?W ?D))) Likely))
Sports.kif 796-805
(=>
    (instance ?X ExerciseCenter)
    (hasPurpose ?X
        (exists (?DEVICE)
            (and
                (or
                    (instance ?DEVICE AerobicExerciseDevice)
                    (instance ?DEVICE AnaerobicExerciseDevice))
                (located ?DEVICE ?X)))))
Mid-level-ontology.kif 26769-26777


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