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 12463-12464
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6890-6890
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. pictureList.kif 7973-7973
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7974-7974
No TPTP formula. May not be expressible in strict first order. Merge.kif 12462-12462 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 658-658 Bodybuilding is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 954-954 Bowling is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 471-471 Boxing is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 191-191 Caving is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 93-93 Cricket 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 CycleRacing 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 128-128 Dodgeball is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 1033-1033 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 FigureSkating is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 201-201 FishingSport is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 740-740 Golf is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 486-486 Gymnastics is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 122-122 Handball is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 118-118 Hockey is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 210-210 HorseRacing is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 120-120 IceHockey is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 112-112 IceSkating is a subclass of sport
No TPTP formula. May not be expressible in strict first order. Sports.kif 186-186 KiteSurfing 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 MartialArts 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 1215-1222
No TPTP formula. May not be expressible in strict first order. Sports.kif 1209-1213
No TPTP formula. May not be expressible in strict first order. naics.kif 7607-7625
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2313-2332
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6038-6044
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12383-12389
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13677-13683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6553-6558


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