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 10920-10924
(subclass ServiceProcess SocialInteraction) Merge.kif 10918-10918 subclass ServiceProcess and SocialInteraction

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


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

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 20661-20661 domain serviceProvider, 1 and ServiceProcess
(domain serviceRecipient 1 ServiceProcess) Mid-level-ontology.kif 20672-20672 domain serviceRecipient, 1 and ServiceProcess
(domainSubclass allRoomsServiceAmenity 2 ServiceProcess) Hotel.kif 211-211 domainSubclass allRoomsServiceAmenity, 2 and ServiceProcess
(domainSubclass someRoomsServiceAmenity 2 ServiceProcess) Hotel.kif 196-196 domainSubclass someRoomsServiceAmenity, 2 and ServiceProcess

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


(=>
    (instance ?EVENT ServiceProcess)
    (exists (?PROVIDER)
        (and
            (instance ?PROVIDER CognitiveAgent)
            (serviceProvider ?EVENT ?PROVIDER))))
Mid-level-ontology.kif 20681-20686
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?RECEIVER)
        (and
            (instance ?RECEIVER CognitiveAgent)
            (serviceRecipient ?EVENT ?RECEIVER))))
Mid-level-ontology.kif 20689-20694
(=>
    (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 11813-11822


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