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

Formal Language: 



KB Term:  Term intersection
English Word: 

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スポーツsubclass では %n

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


(subclass CarRacing Racing) Sports.kif 248-248 CarRacingRacingsubclass では %n
(subclass CycleRacing Racing) Sports.kif 98-98 CycleRacingRacingsubclass では %n
(subclass MotorcycleRacing Racing) Sports.kif 256-256 MotorcycleRacingRacingsubclass では %n
(subclass RunningARace Racing) Sports.kif 259-259 RunningARaceRacingsubclass では %n
(termFormat ChineseLanguage Racing "赛跑") domainEnglishFormat.kif 48406-48406
(termFormat ChineseTraditionalLanguage Racing "賽跑") domainEnglishFormat.kif 48405-48405
(termFormat EnglishLanguage Racing "racing") domainEnglishFormat.kif 48404-48404


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