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 11866-11870
(documentation ServiceProcess JapaneseLanguage "ServiceProcess は、あるエージェントが別の エージェントに対してサービスを実行するイベントのクラスを示す。サービスは商用である必要はなく、 serviceRecipient がサービスの serviceProvider を支払ったり補償したりする必要はない。") japanese_format.kif 1871-1873
(subclass ServiceProcess SocialInteraction) Merge.kif 11864-11864 子類 服務 and SocialInteraction

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


(subclass CateringService ServiceProcess) Dining.kif 571-571 子類 CateringService and 服務
(subclass CheckInService ServiceProcess) Hotel.kif 2148-2148 子類 CheckInService and 服務
(subclass CheckOutService ServiceProcess) Hotel.kif 2181-2181 子類 CheckOutService and 服務
(subclass ChildCareService ServiceProcess) Hotel.kif 1866-1866 子類 ChildCareService and 服務
(subclass CommercialService ServiceProcess) Merge.kif 11875-11875 子類 商業服務 and 服務
(subclass CurrencyExchangeService ServiceProcess) Hotel.kif 2096-2096 子類 CurrencyExchangeService and 服務
(subclass DryCleaningService ServiceProcess) Hotel.kif 1804-1804 子類 DryCleaningService and 服務
(subclass ExecutiveService ServiceProcess) Hotel.kif 2240-2240 子類 ExecutiveService and 服務
(subclass IroningService ServiceProcess) Hotel.kif 1850-1850 子類 IroningService and 服務
(subclass LaundryService ServiceProcess) Hotel.kif 1780-1780 子類 LaundryService and 服務
(subclass MedicalService ServiceProcess) Hotel.kif 2275-2275 子類 MedicalService and 服務
(subclass PhotocopyingService ServiceProcess) Hotel.kif 2126-2126 子類 PhotocopyingService and 服務
(subclass RoomCleaningService ServiceProcess) Hotel.kif 1918-1918 子類 RoomCleaningService and 服務
(subclass RoomService ServiceProcess) Hotel.kif 1964-1964 子類 RoomService and 服務
(subclass SafetyDepositService ServiceProcess) Hotel.kif 2255-2255 子類 SafetyDepositService and 服務
(subclass SecretarialService ServiceProcess) Hotel.kif 2294-2294 子類 SecretarialService and 服務
(subclass TourService ServiceProcess) Hotel.kif 2082-2082 子類 TourService and 服務
(subclass TransportationService ServiceProcess) Transportation.kif 3335-3335 子類 TransportationService and 服務
(subclass TurndownService ServiceProcess) Hotel.kif 1948-1948 子類 TurndownService and 服務
(subclass ValetLaundryService ServiceProcess) Hotel.kif 1821-1821 子類 ValetLaundryService and 服務
(subclass ValetParking ServiceProcess) TransportDetail.kif 143-143 子類 ValetParking and 服務
(subclass WakeUpService ServiceProcess) Hotel.kif 1989-1989 子類 WakeUpService and 服務
(termFormat ChineseLanguage ServiceProcess "服务") domainEnglishFormat.kif 52269-52269
(termFormat ChineseTraditionalLanguage ServiceProcess "服務") domainEnglishFormat.kif 52268-52268
(termFormat EnglishLanguage ServiceProcess "service") domainEnglishFormat.kif 52267-52267

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 22877-22877 服務提供者, 1 and 服務
(domain serviceRecipient 1 ServiceProcess) Mid-level-ontology.kif 22888-22888 服務接收者, 1 and 服務
(domainSubclass allRoomsServiceAmenity 2 ServiceProcess) Hotel.kif 216-216 域子類 allRoomsServiceAmenity, 2 and 服務
(domainSubclass someRoomsServiceAmenity 2 ServiceProcess) Hotel.kif 201-201 域子類 someRoomsServiceAmenity, 2 and 服務

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


(=>
    (instance ?EVENT ServiceProcess)
    (exists (?PROVIDER)
        (and
            (instance ?PROVIDER CognitiveAgent)
            (serviceProvider ?EVENT ?PROVIDER))))
Mid-level-ontology.kif 22896-22901
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?RECEIVER)
        (and
            (instance ?RECEIVER CognitiveAgent)
            (serviceRecipient ?EVENT ?RECEIVER))))
Mid-level-ontology.kif 22903-22908
(=>
    (instance ?X ServiceProcess)
    (exists (?AGENT ?CUST)
        (and
            (serviceProvider ?X ?AGENT)
            (serviceRecipient ?X ?CUST)
            (not
                (equal ?AGENT ?CUST)))))
Hotel.kif 1772-1778

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


(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR ServiceRating)
        (instance ?ENTITY AutonomousAgent))
    (exists (?SVC ?CLASSIFY)
        (and
            (instance ?SVC ServiceProcess)
            (agent ?SVC ?ENTITY)
            (instance ?CLASSIFY Classifying)
            (agent ?CLASSIFY ?AGENT)
            (destination ?CLASSIFY ?SVC)
            (patient ?CLASSIFY ?ATTR))))
Hotel.kif 3091-3103
(=>
    (instance ?RATING ServiceRating)
    (hasPurpose ?RATING
        (exists (?C ?S)
            (and
                (instance ?C Classifying)
                (destination ?C ?S)
                (patient ?C ?RATING)
                (instance ?S ServiceProcess)))))
Hotel.kif 3081-3089
(=>
    (property ?C ServiceContract)
    (exists (?SP ?SERVICE ?CUST)
        (and
            (instance ?SP ServiceProcess)
            (realization ?SP ?C)
            (serviceProvider ?SP ?SERVICE)
            (serviceRecipient ?SP ?CUST)
            (partyToAgreement ?C ?SERVICE)
            (partyToAgreement ?C ?CUST))))
Mid-level-ontology.kif 14198-14207


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