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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ServiceProcess
ServiceProcess(service)service

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 11109-11113
(subclass ServiceProcess SocialInteraction) Merge.kif 11107-11107 Service is a subclass of social interaction

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


(subclass CateringService ServiceProcess) Dining.kif 526-526 Catering is a subclass of service
(subclass CheckInService ServiceProcess) Hotel.kif 2108-2108 Check-in service is a subclass of service
(subclass CheckOutService ServiceProcess) Hotel.kif 2141-2141 Check-out service is a subclass of service
(subclass ChildCareService ServiceProcess) Hotel.kif 1828-1828 Child-care service is a subclass of service
(subclass CommercialService ServiceProcess) Merge.kif 11118-11118 Commercial service is a subclass of service
(subclass CurrencyExchangeService ServiceProcess) Hotel.kif 2058-2058 Currency exchange is a subclass of service
(subclass DryCleaningService ServiceProcess) Hotel.kif 1766-1766 Dry-clean is a subclass of service
(subclass ExecutiveService ServiceProcess) Hotel.kif 2200-2200 Executive service is a subclass of service
(subclass IroningService ServiceProcess) Hotel.kif 1812-1812 Ironing service is a subclass of service
(subclass LaundryService ServiceProcess) Hotel.kif 1742-1742 Laundry service is a subclass of service
(subclass MedicalService ServiceProcess) Hotel.kif 2235-2235 Medical service is a subclass of service
(subclass PhotocopyingService ServiceProcess) Hotel.kif 2086-2086 Photocopying service is a subclass of service
(subclass RoomCleaningService ServiceProcess) Hotel.kif 1880-1880 Service is a subclass of service
(subclass RoomService ServiceProcess) Hotel.kif 1926-1926 Room service is a subclass of service
(subclass SafetyDepositService ServiceProcess) Hotel.kif 2215-2215 Safety deposit box is a subclass of service
(subclass SecretarialService ServiceProcess) Hotel.kif 2254-2254 Secretarial service is a subclass of service
(subclass TourService ServiceProcess) Hotel.kif 2044-2044 Tour service is a subclass of service
(subclass TransportationService ServiceProcess) Transportation.kif 3342-3342 Transportation service is a subclass of service
(subclass TurndownService ServiceProcess) Hotel.kif 1910-1910 Turndown service is a subclass of service
(subclass ValetLaundryService ServiceProcess) Hotel.kif 1783-1783 Valet laundry is a subclass of service
(subclass ValetParking ServiceProcess) TransportDetail.kif 143-143 Valet parking is a subclass of service
(subclass WakeUpService ServiceProcess) Hotel.kif 1951-1951 Wake-up service is a subclass of service
(termFormat ChineseLanguage ServiceProcess "服务") domainEnglishFormat.kif 52251-52251
(termFormat ChineseTraditionalLanguage ServiceProcess "服務") domainEnglishFormat.kif 52250-52250
(termFormat EnglishLanguage ServiceProcess "service") domainEnglishFormat.kif 52249-52249

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 19314-19314 The number 1 argument of service provider is an instance of service
(domain serviceRecipient 1 ServiceProcess) Mid-level-ontology.kif 19325-19325 The number 1 argument of service recipient is an instance of service
(domainSubclass allRoomsServiceAmenity 2 ServiceProcess) Hotel.kif 211-211 The number 2 argument of service amenity in all rooms is a subclass of service
(domainSubclass someRoomsServiceAmenity 2 ServiceProcess) Hotel.kif 196-196 The number 2 argument of service amenity in some rooms is a subclass of service

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


(=>
    (instance ?EVENT ServiceProcess)
    (exists (?PROVIDER)
        (and
            (instance ?PROVIDER CognitiveAgent)
            (serviceProvider ?EVENT ?PROVIDER))))
Mid-level-ontology.kif 19333-19338
(=>
    (instance ?EVENT ServiceProcess)
    (exists (?RECEIVER)
        (and
            (instance ?RECEIVER CognitiveAgent)
            (serviceRecipient ?EVENT ?RECEIVER))))
Mid-level-ontology.kif 19340-19345
(=>
    (instance ?X ServiceProcess)
    (exists (?AGENT ?CUST)
        (and
            (serviceProvider ?X ?AGENT)
            (serviceRecipient ?X ?CUST)
            (not
                (equal ?AGENT ?CUST)))))
Hotel.kif 1734-1740

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 3040-3052
(=>
    (instance ?RATING ServiceRating)
    (hasPurpose ?RATING
        (and
            (instance ?C Classifying)
            (destination ?C ?S)
            (patient ?C ?RATING)
            (instance ?S ServiceProcess))))
Hotel.kif 3031-3038
(=>
    (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 10979-10988


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