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