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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bodybuilding
Bodybuilding

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


(documentation Bodybuilding EnglishLanguage "A sport which involves the development of one's Muscles and competition against other bodybuilders.") Sports.kif 773-774
(subclass Bodybuilding Sport) Sports.kif 772-772

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


(termFormat ChineseLanguage Bodybuilding "健美运动") domainEnglishFormat.kif 11465-11465
(termFormat ChineseTraditionalLanguage Bodybuilding "健美運動") domainEnglishFormat.kif 11464-11464
(termFormat EnglishLanguage Bodybuilding "body building") Sports.kif 776-776
(termFormat EnglishLanguage Bodybuilding "bodybuilding") domainEnglishFormat.kif 11463-11463
(termFormat EnglishLanguage Bodybuilding "weight lifting") Sports.kif 794-794
(termFormat EnglishLanguage Bodybuilding "weightlifting") Sports.kif 793-793

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


(=>
    (and
        (instance ?BB Bodybuilding)
        (agent ?BB ?H))
    (exists (?W)
        (and
            (instance ?W Weightlifting)
            (agent ?W ?H)
            (earlier
                (WhenFn ?W)
                (WhenFn ?BB)))))
Sports.kif 778-788


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