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

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


(subclass CateringService ServiceProcess) Dining.kif 571-571 CateringServiceServiceProcesssubclass では
(subclass CheckInService ServiceProcess) Hotel.kif 2159-2159 CheckInServiceServiceProcesssubclass では
(subclass CheckOutService ServiceProcess) Hotel.kif 2192-2192 CheckOutServiceServiceProcesssubclass では
(subclass ChildCareService ServiceProcess) Hotel.kif 1877-1877 ChildCareServiceServiceProcesssubclass では
(subclass CommercialService ServiceProcess) Merge.kif 12025-12025 CommercialServiceServiceProcesssubclass では
(subclass CurrencyExchangeService ServiceProcess) Hotel.kif 2107-2107 CurrencyExchangeServiceServiceProcesssubclass では
(subclass DryCleaningService ServiceProcess) Hotel.kif 1815-1815 DryCleaningServiceServiceProcesssubclass では
(subclass ExecutiveService ServiceProcess) Hotel.kif 2251-2251 ExecutiveServiceServiceProcesssubclass では
(subclass IroningService ServiceProcess) Hotel.kif 1861-1861 IroningServiceServiceProcesssubclass では
(subclass LaundryService ServiceProcess) Hotel.kif 1791-1791 LaundryServiceServiceProcesssubclass では
(subclass MedicalService ServiceProcess) Hotel.kif 2286-2286 MedicalServiceServiceProcesssubclass では
(subclass PhotocopyingService ServiceProcess) Hotel.kif 2137-2137 PhotocopyingServiceServiceProcesssubclass では
(subclass RoomCleaningService ServiceProcess) Hotel.kif 1929-1929 RoomCleaningServiceServiceProcesssubclass では
(subclass RoomService ServiceProcess) Hotel.kif 1975-1975 RoomServiceServiceProcesssubclass では
(subclass SafetyDepositService ServiceProcess) Hotel.kif 2266-2266 SafetyDepositServiceServiceProcesssubclass では
(subclass SecretarialService ServiceProcess) Hotel.kif 2305-2305 SecretarialServiceServiceProcesssubclass では
(subclass TourService ServiceProcess) Hotel.kif 2093-2093 TourServiceServiceProcesssubclass では
(subclass TransportationService ServiceProcess) Transportation.kif 4478-4478 TransportationServiceServiceProcesssubclass では
(subclass TurndownService ServiceProcess) Hotel.kif 1959-1959 TurndownServiceServiceProcesssubclass では
(subclass ValetParking ServiceProcess) TransportDetail.kif 147-147 ValetParkingServiceProcesssubclass では
(subclass WakeUpService ServiceProcess) Hotel.kif 2000-2000 WakeUpServiceServiceProcesssubclass では
(termFormat ChineseLanguage ServiceProcess "服务") domainEnglishFormat.kif 52273-52273 WakeUpServiceServiceProcesssubclass では
(termFormat ChineseTraditionalLanguage ServiceProcess "服務") domainEnglishFormat.kif 52272-52272 WakeUpServiceServiceProcesssubclass では
(termFormat EnglishLanguage ServiceProcess "service") domainEnglishFormat.kif 52271-52271 WakeUpServiceServiceProcesssubclass では

appearance as argument number 3
-------------------------


(domain serviceProvider 1 ServiceProcess) Mid-level-ontology.kif 24518-24518 serviceProvider の数値 1 引数は ServiceProcessinstance では
(domain serviceRecipient 1 ServiceProcess) Mid-level-ontology.kif 24529-24529 serviceRecipient の数値 1 引数は ServiceProcessinstance では
(domainSubclass allRoomsServiceAmenity 2 ServiceProcess) Hotel.kif 216-216 allRoomsServiceAmenity の数値 2 引数は ServiceProcesssubclass では
(domainSubclass someRoomsServiceAmenity 2 ServiceProcess) Hotel.kif 201-201 someRoomsServiceAmenity の数値 2 引数は ServiceProcesssubclass では

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


(=>
    (instance ?EVENT ServiceProcess)
    (exists (?PROVIDER)
        (and
            (instance ?PROVIDER CognitiveAgent)
            (serviceProvider ?EVENT ?PROVIDER))))
Mid-level-ontology.kif 24537-24542
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?RECEIVER)
        (and
            (instance ?RECEIVER CognitiveAgent)
            (serviceRecipient ?EVENT ?RECEIVER))))
Mid-level-ontology.kif 24544-24549
(=>
    (instance ?X ServiceProcess)
    (exists (?AGENT ?CUST)
        (and
            (serviceProvider ?X ?AGENT)
            (serviceRecipient ?X ?CUST)
            (not
                (equal ?AGENT ?CUST)))))
Hotel.kif 1783-1789

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 3102-3114
(=>
    (instance ?RATING ServiceRating)
    (hasPurpose ?RATING
        (exists (?C ?S)
            (and
                (instance ?C Classifying)
                (destination ?C ?S)
                (patient ?C ?RATING)
                (instance ?S ServiceProcess)))))
Hotel.kif 3092-3100
(=>
    (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 15569-15578


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