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 517-519
(externalImage Boxing "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ recreation/ sports/ boxing.png") pictureList.kif 286-286
(subclass Boxing Sport) Sports.kif 516-516 Boxing is a subclass of sport
(subclass Boxing ViolentContest) Sports.kif 515-515 Boxing is a subclass of violent contest

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


(termFormat ChineseLanguage Boxing "拳击") domainEnglishFormat.kif 11816-11816
(termFormat ChineseTraditionalLanguage Boxing "拳擊") domainEnglishFormat.kif 11815-11815
(termFormat EnglishLanguage Boxing "boxing") domainEnglishFormat.kif 11814-11814

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


(=>
    (attribute ?ATHLETE Boxer)
    (hasSkill Boxing ?ATHLETE))
Sports.kif 331-333
(=>
    (instance ?BR BoxingRing)
    (hasPurpose ?BR
        (exists (?B)
            (and
                (instance ?B Boxing)
                (eventLocated ?B ?BR)))))
Sports.kif 523-529


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