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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AerobicExerciseDevice
AerobicExerciseDevice(aerobic exercise device)

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


(documentation AerobicExerciseDevice EnglishLanguage "An RecreationOrExerciseDevice whose purpose is to develop the cardiovascular system.") Mid-level-ontology.kif 8929-8930
(subclass AerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 8928-8928 Aerobic exercise device is a subclass of recreation or exercise device

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


(disjoint AnaerobicExerciseDevice AerobicExerciseDevice) Mid-level-ontology.kif 8933-8933 Anaerobic exercise device is disjoint from aerobic exercise device
(disjoint Toy AerobicExerciseDevice) Mid-level-ontology.kif 2383-2383 Toy is disjoint from aerobic exercise device
(subclass RowingMachine AerobicExerciseDevice) Mid-level-ontology.kif 8937-8937 Ergometer is a subclass of aerobic exercise device
(termFormat ChineseLanguage AerobicExerciseDevice "有氧运动装置") domainEnglishFormat.kif 5649-5649 Ergometer is a subclass of aerobic exercise device
(termFormat ChineseTraditionalLanguage AerobicExerciseDevice "有氧運動裝置") domainEnglishFormat.kif 5648-5648 Ergometer is a subclass of aerobic exercise device
(termFormat EnglishLanguage AerobicExerciseDevice "aerobic exercise device") domainEnglishFormat.kif 5647-5647 Ergometer is a subclass of aerobic exercise device

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


(=>
    (instance ?X ExerciseCenter)
    (hasPurpose ?X
        (exists (?DEVICE)
            (and
                (or
                    (instance ?DEVICE AerobicExerciseDevice)
                    (instance ?DEVICE AnaerobicExerciseDevice))
                (located ?DEVICE ?X)))))
Mid-level-ontology.kif 27693-27701


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