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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Boxing
Boxing

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


(documentation Boxing EnglishLanguage "A sport which involves two participants who try to knock each other out in a limited number of rounds. Note that each instance of Boxing is a boxing match.") Sports.kif 586-588
(externalImage Boxing "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ boxing.png") pictureList.kif 286-286
(subclass Boxing Sport) Sports.kif 585-585
(subclass Boxing ViolentContest) Sports.kif 584-584

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


(termFormat ChineseLanguage Boxing "拳击") domainEnglishFormat.kif 11813-11813
(termFormat ChineseTraditionalLanguage Boxing "拳擊") domainEnglishFormat.kif 11812-11812
(termFormat EnglishLanguage Boxing "boxing") domainEnglishFormat.kif 11811-11811

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


(=>
    (attribute ?ATHLETE Boxer)
    (hasSkill Boxing ?ATHLETE))
Sports.kif 400-402
(=>
    (instance ?BR BoxingRing)
    (hasPurpose ?BR
        (exists (?B)
            (and
                (instance ?B Boxing)
                (eventLocated ?B ?BR)))))
Sports.kif 592-598


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