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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Racing

Sigma KEE - Racing
Racing

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


(documentation Racing EnglishLanguage "A sport which involves a contest of speed between the participants. Note that this covers a variety of things, including auto racing, running competitions, etc.") Mid-level-ontology.kif 7577-7579
(subclass Racing Sport) Mid-level-ontology.kif 7576-7576

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


(subclass CarRacing Racing) Sports.kif 248-248
(subclass CycleRacing Racing) Sports.kif 98-98
(subclass MotorcycleRacing Racing) Sports.kif 256-256
(subclass RunningARace Racing) Sports.kif 259-259
(termFormat ChineseLanguage Racing "赛跑") domainEnglishFormat.kif 48406-48406
(termFormat ChineseTraditionalLanguage Racing "賽跑") domainEnglishFormat.kif 48405-48405
(termFormat EnglishLanguage Racing "racing") domainEnglishFormat.kif 48404-48404


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