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 Racing è una sottoclasse di Sport

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


(subclass CarRacing Racing) Sports.kif 248-248 CarRacing è una sottoclasse di Racing
(subclass CycleRacing Racing) Sports.kif 98-98 CycleRacing è una sottoclasse di Racing
(subclass MotorcycleRacing Racing) Sports.kif 256-256 MotorcycleRacing è una sottoclasse di Racing
(subclass RunningARace Racing) Sports.kif 259-259 RunningARace è una sottoclasse di Racing
(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