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 7527-7532
(subclass Sport Game) Merge.kif 13399-13399 子類 Sport and Game
(subclass Archery Sport) Sports.kif 89-89 子類 Archery and Sport
(subclass Badminton Sport) Sports.kif 91-91 子類 Badminton and Sport
(subclass Curling Sport) Sports.kif 95-95 子類 Curling and Sport
(subclass CycleRacing Sport) Sports.kif 97-97 子類 CycleRacing and Sport
(subclass Diving Sport) Sports.kif 103-103 子類 Diving and Sport
(subclass IceSkating Sport) Sports.kif 112-112 子類 IceSkating and Sport
(subclass Fencing Sport) Sports.kif 114-114 子類 Fencing and Sport
(subclass FigureSkating Sport) Sports.kif 116-116 子類 FigureSkating and Sport
(subclass Lacrosse Sport) Sports.kif 126-126 子類 Lacrosse and Sport
(subclass MartialArts Sport) Sports.kif 133-133 子類 MartialArts and Sport
(subclass SwimmingSport Sport) Sports.kif 184-184 子類 SwimmingSport and Sport
(subclass SquashSport Sport) Sports.kif 186-186 子類 SquashSport and Sport
(subclass ShootingSport Sport) Sports.kif 188-188 子類 ShootingSport and Sport
(subclass SailingSport Sport) Sports.kif 198-198 子類 SailingSport and Sport
(subclass Surfing Sport) Sports.kif 207-207 子類 Surfing and Sport
(subclass KiteSurfing Sport) Sports.kif 221-221 子類 KiteSurfing and Sport
(subclass Caving Sport) Sports.kif 226-226 子類 Caving and Sport
(subclass Skateboarding Sport) Sports.kif 229-229 子類 Skateboarding and Sport
(subclass Rafting Sport) Sports.kif 232-232 子類 Rafting and Sport
(subclass FishingSport Sport) Sports.kif 236-236 子類 FishingSport and Sport
(subclass TableTennis Sport) Sports.kif 239-239 子類 TableTennis and Sport
(subclass Wrestling Sport) Sports.kif 243-243 子類 Wrestling and Sport
(subclass HorseRacing Sport) Sports.kif 245-245 子類 HorseRacing and Sport
(subclass RockClimbing Sport) Sports.kif 496-496 子類 RockClimbing and Sport
(subclass Boxing Sport) Sports.kif 585-585 子類 拳擊 and Sport
(subclass Gymnastics Sport) Sports.kif 600-600 子類 體操 and Sport
(subclass Bodybuilding Sport) Sports.kif 772-772 子類 健美運動 and Sport
(subclass Tennis Sport) Sports.kif 852-852 子類 Tennis and Sport
(subclass Golf Sport) Sports.kif 889-889 子類 高爾夫球 and Sport
(subclass Skiing Sport) Sports.kif 1062-1062 子類 Skiing and Sport
(subclass Bowling Sport) Sports.kif 1103-1103 子類 Bowling and Sport
(subclass Equitation Sport) Sports.kif 1182-1182 子類 Equitation and Sport
(subclass WaterSport Sport) Sports.kif 1207-1207 子類 WaterSport and Sport
(subclass Racquetball Sport) Sports.kif 1318-1318 子類 Racquetball and Sport
(subclass OlympicGames Sport) Sports.kif 1337-1337 子類 奧運會 and Sport
(subclass TeamSport Sport) Mid-level-ontology.kif 7534-7534 子類 團隊運動 and Sport
(subclass Racing Sport) Mid-level-ontology.kif 7548-7548 子類 賽跑 and 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