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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ServiceProcess
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 11044-11048
(subclass ServiceProcess SocialInteraction) Merge.kif 11042-11042 服务社交subclass

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


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

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 20769-20769 服务供应者 的 1 数量 是 服务instance
(domain serviceRecipient 1 ServiceProcess) Mid-level-ontology.kif 20780-20780 受服务者 的 1 数量 是 服务instance
(domainSubclass allRoomsServiceAmenity 2 ServiceProcess) Hotel.kif 211-211 allRoomsServiceAmenity 的 2 数量 是 服务subclass
(domainSubclass someRoomsServiceAmenity 2 ServiceProcess) Hotel.kif 196-196 someRoomsServiceAmenity 的 2 数量 是 服务subclass

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


(=>
    (instance ?EVENT ServiceProcess)
    (exists (?PROVIDER)
        (and
            (instance ?PROVIDER CognitiveAgent)
            (serviceProvider ?EVENT ?PROVIDER))))
Mid-level-ontology.kif 20789-20794
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?RECEIVER)
        (and
            (instance ?RECEIVER CognitiveAgent)
            (serviceRecipient ?EVENT ?RECEIVER))))
Mid-level-ontology.kif 20797-20802
(=>
    (instance ?X ServiceProcess)
    (exists (?AGENT ?CUST)
        (and
            (serviceProvider ?X ?AGENT)
            (serviceRecipient ?X ?CUST)
            (not
                (equal ?AGENT ?CUST)))))
Hotel.kif 1720-1726

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


(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR ServiceRating)
        (instance ?ENTITY Agent))
    (exists (?SVC ?CLASSIFY)
        (and
            (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
        (and
            (instance ?C Classifying)
            (destination ?C ?S)
            (patient ?C ?RATING)
            (instance ?S ServiceProcess))))
Hotel.kif 3017-3024
(=>
    (property ?C ServiceContract)
    (exists (?SP)
        (and
            (instance ?SP ServiceProcess)
            (realization ?SP ?C)
            (serviceProvider ?SP ?SERVICE)
            (serviceRecipient ?SP ?CUST)
            (partyToAgreement ?C ?SERVICE)
            (partyToAgreement ?C ?CUST))))
Mid-level-ontology.kif 11821-11830


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners