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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - AerobicExerciseDevice

appearance as argument number 1

(documentation AerobicExerciseDevice EnglishLanguage "An RecreationOrExerciseDevice whose purpose is to develop the cardiovascular system.") Mid-level-ontology.kif 8228-8229
(subclass AerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 8227-8227 有氧运动装置娱乐或运动器材subclass

appearance as argument number 2

(disjoint AnaerobicExerciseDevice AerobicExerciseDevice) Mid-level-ontology.kif 8232-8232 无氧运动装置 和 % 2 是 disjoint
(disjoint Toy AerobicExerciseDevice) Mid-level-ontology.kif 2390-2390 Toy 和 % 2 是 disjoint
(subclass RowingMachine AerobicExerciseDevice) Mid-level-ontology.kif 8236-8236 RowingMachine有氧运动装置subclass
(termFormat ChineseLanguage AerobicExerciseDevice "有氧运动装置") domainEnglishFormat.kif 5640-5640
(termFormat ChineseTraditionalLanguage AerobicExerciseDevice "有氧運動裝置") domainEnglishFormat.kif 5639-5639
(termFormat EnglishLanguage AerobicExerciseDevice "aerobic exercise device") domainEnglishFormat.kif 5638-5638


    (instance ?X ExerciseCenter)
    (hasPurpose ?X
        (exists (?DEVICE)
                    (instance ?DEVICE AerobicExerciseDevice)
                    (instance ?DEVICE AnaerobicExerciseDevice))
                (located ?DEVICE ?X)))))
Mid-level-ontology.kif 26757-26765

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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