Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ServiceProcess

appearance as argument number 1

(documentation ServiceProcess ChineseLanguage "ServiceProcess 表示一类事件的类别, 当中一个实施体事向另外一个实施体提供服务。服务的形式不需要具有商业性质,也不需要 serviceRecipientserviceProvider 付款作为服务酬劳。") chinese_format.kif 3100-3102
(documentation ServiceProcess EnglishLanguage "ServiceProcess denotes the class of events in which one agent performs a service for another. The service need not be commercial, and it need not be the case that the serviceRecipient pays or recompenses the serviceProvider for the service.") Merge.kif 11094-11098
(subclass ServiceProcess SocialInteraction) Merge.kif 11092-11092

appearance as argument number 2

(subclass CateringService ServiceProcess) Dining.kif 526-526
(subclass CheckInService ServiceProcess) Hotel.kif 2094-2094
(subclass CheckOutService ServiceProcess) Hotel.kif 2127-2127
(subclass ChildCareService ServiceProcess) Hotel.kif 1814-1814
(subclass CommercialService ServiceProcess) Merge.kif 11103-11103
(subclass CurrencyExchangeService ServiceProcess) Hotel.kif 2044-2044
(subclass DryCleaningService ServiceProcess) Hotel.kif 1752-1752
(subclass ExecutiveService ServiceProcess) Hotel.kif 2186-2186
(subclass IroningService ServiceProcess) Hotel.kif 1798-1798
(subclass LaundryService ServiceProcess) Hotel.kif 1728-1728
(subclass MedicalService ServiceProcess) Hotel.kif 2221-2221
(subclass PhotocopyingService ServiceProcess) Hotel.kif 2072-2072
(subclass RoomCleaningService ServiceProcess) Hotel.kif 1866-1866
(subclass RoomService ServiceProcess) Hotel.kif 1912-1912
(subclass SafetyDepositService ServiceProcess) Hotel.kif 2201-2201
(subclass SecretarialService ServiceProcess) Hotel.kif 2240-2240
(subclass TourService ServiceProcess) Hotel.kif 2030-2030
(subclass TransportationService ServiceProcess) Transportation.kif 3313-3313
(subclass TurndownService ServiceProcess) Hotel.kif 1896-1896
(subclass ValetLaundryService ServiceProcess) Hotel.kif 1769-1769
(subclass ValetParking ServiceProcess) TransportDetail.kif 143-143
(subclass WakeUpService ServiceProcess) Hotel.kif 1937-1937
(termFormat ChineseLanguage ServiceProcess "服务") domainEnglishFormat.kif 52197-52197
(termFormat ChineseTraditionalLanguage ServiceProcess "服務") domainEnglishFormat.kif 52196-52196
(termFormat EnglishLanguage ServiceProcess "service") domainEnglishFormat.kif 52195-52195

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain serviceProvider 1 ServiceProcess) Mid-level-ontology.kif 20800-20800
(domain serviceRecipient 1 ServiceProcess) Mid-level-ontology.kif 20811-20811
(domainSubclass allRoomsServiceAmenity 2 ServiceProcess) Hotel.kif 211-211
(domainSubclass someRoomsServiceAmenity 2 ServiceProcess) Hotel.kif 196-196


    (instance ?EVENT ServiceProcess)
    (exists (?PROVIDER)
            (instance ?PROVIDER CognitiveAgent)
            (serviceProvider ?EVENT ?PROVIDER))))
Mid-level-ontology.kif 20820-20825
    (instance ?EVENT ServiceProcess)
    (exists (?RECEIVER)
            (instance ?RECEIVER CognitiveAgent)
            (serviceRecipient ?EVENT ?RECEIVER))))
Mid-level-ontology.kif 20828-20833
    (instance ?X ServiceProcess)
    (exists (?AGENT ?CUST)
            (serviceProvider ?X ?AGENT)
            (serviceRecipient ?X ?CUST)
                (equal ?AGENT ?CUST)))))
Hotel.kif 1720-1726


        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR ServiceRating)
        (instance ?ENTITY Agent))
    (exists (?SVC ?CLASSIFY)
            (instance ?SVC ServiceProcess)
            (agent ?SVC ?ENTITY)
            (instance ?CLASSIFY Classifying)
            (agent ?CLASSIFY ?AGENT)
            (destination ?CLASSIFY ?SVC)
            (patient ?CLASSIFY ?ATTR))))
Hotel.kif 3026-3038
    (instance ?RATING ServiceRating)
    (hasPurpose ?RATING
            (instance ?C Classifying)
            (destination ?C ?S)
            (patient ?C ?RATING)
            (instance ?S ServiceProcess))))
Hotel.kif 3017-3024
    (property ?C ServiceContract)
    (exists (?SP)
            (instance ?SP ServiceProcess)
            (realization ?SP ?C)
            (serviceProvider ?SP ?SERVICE)
            (serviceRecipient ?SP ?CUST)
            (partyToAgreement ?C ?SERVICE)
            (partyToAgreement ?C ?CUST))))
Mid-level-ontology.kif 11848-11857

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

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