Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (instance ?TEAM SportsTeam)
    (exists (?SPORT)
        (and
            (subclass ?SPORT Sport)
            (capability ?SPORT agent ?TEAM))))
Mid-level-ontology.kif 7208-7213
(subclass Sport Game) Merge.kif 13137-13137 Sport is a subclass of game
(subclass Archery Sport) Sports.kif 89-89 Archery is a subclass of sport
(subclass Badminton Sport) Sports.kif 91-91 Badminton is a subclass of sport
(subclass Cricket Sport) Sports.kif 93-93 Cricket is a subclass of sport
(subclass Curling Sport) Sports.kif 95-95 Curling is a subclass of sport
(subclass CycleRacing Sport) Sports.kif 97-97 CycleRacing is a subclass of sport
(subclass Diving Sport) Sports.kif 103-103 Diving is a subclass of sport
(subclass IceSkating Sport) Sports.kif 112-112 IceSkating is a subclass of sport
(subclass Fencing Sport) Sports.kif 114-114 Fencing is a subclass of sport
(subclass FigureSkating Sport) Sports.kif 116-116 FigureSkating is a subclass of sport
(subclass Hockey Sport) Sports.kif 118-118 Hockey is a subclass of sport
(subclass IceHockey Sport) Sports.kif 120-120 IceHockey is a subclass of sport
(subclass Handball Sport) Sports.kif 122-122 Handball is a subclass of sport
(subclass Rugby Sport) Sports.kif 124-124 Rugby is a subclass of sport
(subclass Lacrosse Sport) Sports.kif 126-126 Lacrosse is a subclass of sport
(subclass Dodgeball Sport) Sports.kif 128-128 Dodgeball is a subclass of sport
(subclass MartialArts Sport) Sports.kif 133-133 MartialArts is a subclass of sport
(subclass Netball Sport) Sports.kif 145-145 Netball is a subclass of sport
(subclass Soccer Sport) Sports.kif 147-147 Soccer is a subclass of sport
(subclass SwimmingSport Sport) Sports.kif 149-149 SwimmingSport is a subclass of sport
(subclass SquashSport Sport) Sports.kif 151-151 SquashSport is a subclass of sport
(subclass ShootingSport Sport) Sports.kif 153-153 ShootingSport is a subclass of sport
(subclass SailingSport Sport) Sports.kif 163-163 SailingSport is a subclass of sport
(subclass Surfing Sport) Sports.kif 172-172 Surfing is a subclass of sport
(subclass KiteSurfing Sport) Sports.kif 186-186 KiteSurfing is a subclass of sport
(subclass Caving Sport) Sports.kif 191-191 Caving is a subclass of sport
(subclass Skateboarding Sport) Sports.kif 194-194 Skateboarding is a subclass of sport
(subclass Rafting Sport) Sports.kif 197-197 Rafting is a subclass of sport
(subclass FishingSport Sport) Sports.kif 201-201 FishingSport is a subclass of sport
(subclass TableTennis Sport) Sports.kif 204-204 TableTennis is a subclass of sport
(subclass Volleyball Sport) Sports.kif 206-206 Volleyball is a subclass of sport
(subclass Wrestling Sport) Sports.kif 208-208 Wrestling is a subclass of sport
(subclass HorseRacing Sport) Sports.kif 210-210 HorseRacing is a subclass of sport
(subclass RockClimbing Sport) Sports.kif 427-427 RockClimbing is a subclass of sport
(subclass Boxing Sport) Sports.kif 516-516 Boxing is a subclass of sport
(subclass Gymnastics Sport) Sports.kif 531-531 Gymnastics is a subclass of sport
(subclass Bodybuilding Sport) Sports.kif 703-703 Bodybuilding is a subclass of sport
(subclass Tennis Sport) Sports.kif 779-779 Tennis is a subclass of sport
(subclass Golf Sport) Sports.kif 816-816 Golf is a subclass of sport
(subclass Skiing Sport) Sports.kif 989-989 Skiing is a subclass of sport
(subclass Bowling Sport) Sports.kif 1030-1030 Bowling is a subclass of sport
(subclass Equitation Sport) Sports.kif 1109-1109 Equitation is a subclass of sport
(subclass WaterSport Sport) Sports.kif 1134-1134 Water sport is a subclass of sport
(subclass Racquetball Sport) Sports.kif 1245-1245 Racquetball is a subclass of sport
(subclass OlympicGames Sport) Sports.kif 1264-1264 Olympic games is a subclass of sport
(subclass TeamSport Sport) Mid-level-ontology.kif 7215-7215 Team sport is a subclass of sport
(subclass Racing Sport) Mid-level-ontology.kif 7229-7229 Racing is a subclass of sport


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