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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sport
Sport(sport)
more pictures...
1-hitter, 2-hitter, 3-hitter, 4-hitter, 5-hitter, American_football, American_football_game, Fosbury_flop, Olympic, Special_Olympics, ace, acrobatics, athletic, athletic_game, athletics, away_game, backpedal, backstop, ball_game, ballgame, bandy, battledore, battledore_and_shuttlecock, bear_down, birdie, birling, blood_sport, boat-race, bocce, bocci, boccie, bogey, bowl, bowls, break, broad_jump, bullfighting, caddie, caddy, candlepin_bowling, candlepins, catch, chip, cockfighting, come_back, contact_sport, count_out, court_game, cradle, cricket...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3298-3298
No TPTP formula. May not be expressible in strict first order. Merge.kif 13424-13425
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6889-6889
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7967-7967
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7968-7968
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7969-7969
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7970-7970
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7971-7971
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7972-7972
No TPTP formula. May not be expressible in strict first order. Merge.kif 13423-13423 Sport is a subclass of game

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 89-89 Archery is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 91-91 Badminton is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 772-772 Bodybuilding is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 1103-1103 Bowling is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 585-585 Boxing is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 226-226 Caving is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 95-95 Curling is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 97-97 Cycle racing is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 103-103 Diving is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 1182-1182 Equitation is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 114-114 Fencing is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 116-116 Figure skating is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 236-236 Fishing sport is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 889-889 Golf is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 600-600 Gymnastics is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 245-245 Horse racing is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 112-112 Ice skating is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 221-221 Kite surfing is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 126-126 Lacrosse is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 133-133 Martial arts is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 1337-1337 Olympic games is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7576-7576 Racing is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 1318-1318 Racquetball is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 232-232 Rafting is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 496-496 Rock climbing is a subclass of sport

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 1364-1371
No TPTP formula. May not be expressible in strict first order. Sports.kif 1358-1362
No TPTP formula. May not be expressible in strict first order. naics.kif 7600-7618
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2353-2372
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7038-7044
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15704-15710
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17097-17103
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7555-7560


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