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


KB Term:  Term intersection
English Word: 

  ArtsAndRecreationTicketingServices

 Sigma KEE - ArtsAndRecreationTicketingServices
ArtsAndRecreationTicketingServices(arts and recreation tickets)

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


(subAttribute ArtsAndRecreationTicketingServices PerformingArtsSpectatorSportsAndRelatedIndustries) Hotel.kif 2366-2366 Arts and recreation tickets is a subattribute of performing arts spectator sports and related industries
(documentation ArtsAndRecreationTicketingServices EnglishLanguage "ArtsAndRecreationTicketingServices refer to agencies that sell Ticket to Sport events or Performance") Hotel.kif 2367-2368 Arts and recreation tickets is a subattribute of performing arts spectator sports and related industries

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


(termFormat EnglishLanguage ArtsAndRecreationTicketingServices "arts and recreation tickets") Hotel.kif 2369-2369

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


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