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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Boxing

Sigma KEE - Boxing
Boxing(boxing)
boxing, boxing_match, fisticuffs, in-fighting, prize_fight, prizefight, professional_boxing, pugilism, sparring_match

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 Boxing is a subclass of sport
(subclass Boxing ViolentContest) Sports.kif 584-584 Boxing is a subclass of violent contest

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 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