Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Ticket

 Sigma KEE - Ticket
Ticket(ticket)
more pictures...		airplane_ticket, bus_ticket, commutation_ticket, day_return, pass, plane_ticket, railroad_ticket, return_ticket, round-trip_ticket, season_ticket, theater_ticket, theatre_ticket, ticket, train_ticket, transfer

appearance as argument number 1
-------------------------


(subclass Ticket Certificate) Mid-level-ontology.kif 18151-18151 Ticket is a subclass of certificate
(documentation Ticket EnglishLanguage "A Certificate that allows the holder to perform a specified act once, e.g. ride a bus, attend a concert, obtain a prize, etc.") Mid-level-ontology.kif 18152-18154 Ticket is a subclass of certificate
(externalImage Ticket "http://upload.wikimedia.org/wikipedia/commons/6/6c/ JRticket.jpg") pictureList.kif 189-189 Ticket is a subclass of certificate
(externalImage Ticket "http://articulatesoftware.com/SUMOpictures/recreation/ entertainment/ tickets/ ticket_2.png") pictureList.kif 781-781 Ticket is a subclass of certificate
(externalImage Ticket "http://upload.wikimedia.org/wikipedia/commons/b/bc/ Avis_de_constatation.png") pictureList.kif 3010-3010 Ticket is a subclass of certificate
(externalImage Ticket "http://upload.wikimedia.org/wikipedia/commons/a/a1/ Weekendbiljet.png") pictureList.kif 3230-3230 Ticket is a subclass of certificate
(externalImage Ticket "http://upload.wikimedia.org/wikipedia/commons/2/27/ Btw.png") pictureList.kif 3231-3231 Ticket is a subclass of certificate
(externalImage Ticket "http://upload.wikimedia.org/wikipedia/commons/3/36/ Bericht_van_vaststelling.png") pictureList.kif 3232-3232 Ticket is a subclass of certificate
(externalImage Ticket "http://upload.wikimedia.org/wikipedia/commons/9/91/ Thermisch_papier_zwart.png") pictureList.kif 3233-3233 Ticket is a subclass of certificate
(externalImage Ticket "http://upload.wikimedia.org/wikipedia/commons/8/8a/ Ticket_%28unseparated%29_Kurkino_Berchtesgaden.JPG") pictureList.kif 3234-3234 Ticket is a subclass of certificate

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Ticket "ticket") domainEnglishFormat.kif 58021-58021
(termFormat ChineseTraditionalLanguage Ticket "票") domainEnglishFormat.kif 58022-58022
(termFormat ChineseLanguage Ticket "票") domainEnglishFormat.kif 58023-58023
(subclass WaterParkTicket Ticket) naics.kif 11441-11441 Water park ticket is a subclass of ticket

antecedent
-------------------------


(=>
    (and
        (issuedBy ?TICKET ?AGENT)
        (instance ?TICKET Ticket)
        (possesses ?CUST ?TICKET))
    (confersNorm ?AGENT Permission
        (exists (?T)
            (holdsDuring ?T
                (exists (?P)
                    (and
                        (instance ?P Process)
                        (agent ?P ?AGENT)
                        (experiencer ?P ?CUST)))))))		 Mid-level-ontology.kif 18156-18168 If X is an issued by of Y, Y is an instance of ticket, and Z possesses Y, then X confers norm permission for there exists W such that there exists V such that V is an instance of process, X is an agent of V, and Z experiences V holds during W
(=>
    (and
        (instance ?T Ticket)
        (possesses ?T ?CUST)
        (issuedBy ?T ?ORG)
        (attribute ?ORG AmusementGamblingAndRecreationIndustries)
        (located ?ORG ?LOC))
    (confersNorm ?ORG Permission
        (exists (?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (experiencer ?REC ?CUST)
                (eventLocated ?REC ?LOC)))))		 naics.kif 11453-11465 If X is an instance of ticket, X possesses Y, Z is an issued by of X, amusement gambling and recreation industries is an attribute of Z, and Z is located at W, then Z confers norm permission for there exists V such that V is an instance of recreation or exercise, Y experiences V, and V is located at W

consequent
-------------------------


(=>
    (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


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