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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ServiceProcess

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

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


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

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

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


(=>
    (instance ?EVENT ServiceProcess)
    (exists (?PROVIDER)
        (and
            (instance ?PROVIDER CognitiveAgent)
            (serviceProvider ?EVENT ?PROVIDER))))
Mid-level-ontology.kif 22948-22953
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?RECEIVER)
        (and
            (instance ?RECEIVER CognitiveAgent)
            (serviceRecipient ?EVENT ?RECEIVER))))
Mid-level-ontology.kif 22955-22960
(=>
    (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 14225-14234


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

Show without tree


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