consequent

(=>     (instance ?G SportsFacility)     (hasPurpose ?G         (exists (?S)             (and                 (instance ?S Sport)                 (eventLocated ?S ?G)))))	Mid-level-ontology.kif 8327-8333	If X is an instance of sports facility, then X has the purpose there exists Y such that Y is an instance of sport and Y is located at X
(=>     (instance ?TEAM SportsTeam)     (exists (?SPORT)         (and             (subclass ?SPORT Sport)             (capability ?SPORT agent ?TEAM))))	Mid-level-ontology.kif 8849-8854	If X is an instance of sports team, then there exists Y such that Y is a subclass of sport and X is capable of doing Y as a agent
(=>     (instance ?GROUND SportsGround)     (hasPurpose ?GROUND         (exists (?SPORT)             (and                 (instance ?SPORT Sport)                 (eventLocated ?SPORT ?GROUND)))))	Mid-level-ontology.kif 17276-17282	If X is an instance of sports ground, then X has the purpose there exists Y such that Y is an instance of sport and Y is located at X
(=>     (instance ?SS SportServe)     (exists (?S)         (and             (instance ?S Sport)             (subProcess ?SS ?S)             (starts                 (WhenFn ?SS)                 (WhenFn ?S)))))	Mid-level-ontology.kif 18688-18694	If X is an instance of sport serve, then there exists Y such that Y is an instance of sport, X is a subprocess of Y, and the time of existence of X starts the time of existence of Y
(=>     (attribute ?X ArtsAndRecreationTicketingServices)     (hasPurpose ?X         (exists (?SELL ?TICKET ?CUST)             (and                 (instance ?SELL Selling)                 (patient ?SELL ?TICKET)                 (agent ?SELL ?X)                 (instance ?TICKET Ticket)                 (destination ?SELL ?CUST)                 (hasPurpose ?TICKET                     (confersRight ?X ?CUST                         (exists (?WATCH ?PERF)                             (and                                 (instance ?WATCH Seeing)                                 (agent ?WATCH ?CUST)                                 (patient ?WATCH ?PERF)                                 (or                                     (instance ?PERF Performance)                                     (instance ?PERF Sport))))))))))	Hotel.kif 2371-2390	If arts and recreation tickets is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of selling (3) Z is a patient of Y (4) X is an agent of Y (5) Z is an instance of ticket (6) Y ends up at W (7) Z has the purpose W allows there exist V (8) U such that V is an instance of seeing (9) W is an agent of V (10) U is a patient of V (11) U is an instance of performance or U is an instance of sport to perform task of the type X
(=>     (and         (attribute ?H ?ATHLETE)         (instance ?ATHLETE Athlete))     (hasSkill Sport ?ATHLETE))	Sports.kif 93-97	If X is an attribute of Y and X is an instance of athlete, then X has the skill to do sport
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (hasSkill Sport ?ATHLETE))	Sports.kif 1385-1389	If X is an attribute of Y and X is an instance of professional athlete, then Y has the skill to do sport
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (exists (?GAME)         (and             (instance ?GAME Sport)             (contestParticipant ?GAME ?ATHLETE))))	Sports.kif 1391-1398	If X is an attribute of Y and X is an instance of professional athlete, then there exists Z such that Z is an instance of sport and Y participates in Z
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG SportingGoodsHobbyBookAndMusicStores))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING)                 (and                     (instance ?EV Selling)                     (instance ?THING Object)                     (or                         (capability Sport instrument ?THING)                         (capability MakingMusic instrument ?THING)                         (instance ?THING Book)                         (instance ?THING MusicRecording)                         (instance ?THING MusicText))                     (patient ?EV ?THING))))))	naics.kif 7597-7615	If X is an instance of organization and sporting goods hobby book and music stores is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of object (6) W is capable of doing sport as a instrument or W is capable of doing making music as a instrument or W is an instance of book or W is an instance of music recording or W is an instance of music text (7) W is a patient of Y

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners