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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RecreationOrExerciseDevice
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 RecreationOrExerciseDevice est une sous-classe de appareil

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


(subclass AerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 8228-8228 AerobicExerciseDevice est une sous-classe de RecreationOrExerciseDevice
(subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) Mid-level-ontology.kif 8232-8232 AnaerobicExerciseDevice est une sous-classe de RecreationOrExerciseDevice
(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

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


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