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 7528-7533
(subclass Sport Game) Merge.kif 13377-13377 スポーツゲームsubclass では %n
(subclass Archery Sport) Sports.kif 89-89 Archeryスポーツsubclass では %n
(subclass Badminton Sport) Sports.kif 91-91 Badmintonスポーツsubclass では %n
(subclass Curling Sport) Sports.kif 95-95 Curlingスポーツsubclass では %n
(subclass CycleRacing Sport) Sports.kif 97-97 CycleRacingスポーツsubclass では %n
(subclass Diving Sport) Sports.kif 103-103 Divingスポーツsubclass では %n
(subclass IceSkating Sport) Sports.kif 112-112 IceSkatingスポーツsubclass では %n
(subclass Fencing Sport) Sports.kif 114-114 Fencingスポーツsubclass では %n
(subclass FigureSkating Sport) Sports.kif 116-116 FigureSkatingスポーツsubclass では %n
(subclass Lacrosse Sport) Sports.kif 126-126 Lacrosseスポーツsubclass では %n
(subclass MartialArts Sport) Sports.kif 133-133 MartialArtsスポーツsubclass では %n
(subclass SwimmingSport Sport) Sports.kif 184-184 SwimmingSportスポーツsubclass では %n
(subclass SquashSport Sport) Sports.kif 186-186 SquashSportスポーツsubclass では %n
(subclass ShootingSport Sport) Sports.kif 188-188 ShootingSportスポーツsubclass では %n
(subclass SailingSport Sport) Sports.kif 198-198 SailingSportスポーツsubclass では %n
(subclass Surfing Sport) Sports.kif 207-207 Surfingスポーツsubclass では %n
(subclass KiteSurfing Sport) Sports.kif 221-221 KiteSurfingスポーツsubclass では %n
(subclass Caving Sport) Sports.kif 226-226 Cavingスポーツsubclass では %n
(subclass Skateboarding Sport) Sports.kif 229-229 Skateboardingスポーツsubclass では %n
(subclass Rafting Sport) Sports.kif 232-232 Raftingスポーツsubclass では %n
(subclass FishingSport Sport) Sports.kif 236-236 FishingSportスポーツsubclass では %n
(subclass TableTennis Sport) Sports.kif 239-239 TableTennisスポーツsubclass では %n
(subclass Wrestling Sport) Sports.kif 243-243 Wrestlingスポーツsubclass では %n
(subclass HorseRacing Sport) Sports.kif 245-245 HorseRacingスポーツsubclass では %n
(subclass RockClimbing Sport) Sports.kif 496-496 RockClimbingスポーツsubclass では %n
(subclass Boxing Sport) Sports.kif 585-585 Boxingスポーツsubclass では %n
(subclass Gymnastics Sport) Sports.kif 600-600 Gymnasticsスポーツsubclass では %n
(subclass Bodybuilding Sport) Sports.kif 772-772 Bodybuildingスポーツsubclass では %n
(subclass Tennis Sport) Sports.kif 852-852 Tennisスポーツsubclass では %n
(subclass Golf Sport) Sports.kif 889-889 Golfスポーツsubclass では %n
(subclass Skiing Sport) Sports.kif 1061-1061 Skiingスポーツsubclass では %n
(subclass Bowling Sport) Sports.kif 1102-1102 Bowlingスポーツsubclass では %n
(subclass Equitation Sport) Sports.kif 1181-1181 Equitationスポーツsubclass では %n
(subclass WaterSport Sport) Sports.kif 1206-1206 WaterSportスポーツsubclass では %n
(subclass Racquetball Sport) Sports.kif 1317-1317 Racquetballスポーツsubclass では %n
(subclass OlympicGames Sport) Sports.kif 1336-1336 OlympicGamesスポーツsubclass では %n
(subclass TeamSport Sport) Mid-level-ontology.kif 7535-7535 TeamSportスポーツsubclass では %n
(subclass Racing Sport) Mid-level-ontology.kif 7549-7549 Racingスポーツsubclass では %n


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