| ServiceProcess | | service |
| appearance as argument number 1 |
|
|
| s__documentation(s__ServiceProcess,s__ChineseLanguage,'ServiceProcess 表示一类事件的类别， 当中一个实施体事向另外一个实施体提供服务。服务的形式不需要具有商业性质，也不需要 serviceRecipient 向 serviceProvider 付款作为服务酬劳。')
|
Merge.kif 11769-11771 | |
| s__documentation(s__ServiceProcess,s__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 11764-11768 | |
| s__instance(s__SocialInteraction,s__SetOrClass)
|
Merge.kif 11763-11763 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__serviceInstrument__m,1,s__ServiceProcess)
|
TravelPolicies.kif 758-758 | |
| s__domain(s__serviceProvider__m,1,s__ServiceProcess)
|
Mid-level-ontology.kif 20725-20725 | |
| s__domain(s__serviceRecipient__m,1,s__ServiceProcess)
|
Mid-level-ontology.kif 20736-20736 | |
| s__domainSubclass(s__allRoomsServiceAmenity__m,2,s__ServiceProcess)
|
Hotel.kif 211-211 | |
| s__domainSubclass(s__someRoomsServiceAmenity__m,2,s__ServiceProcess)
|
Hotel.kif 196-196 |
| antecedent |
|
|
| ( ! [V__EVENT] : (s__instance(V__EVENT,s__ServiceProcess) => (? [V__PROVIDER] : (s__instance(V__PROVIDER,s__CognitiveAgent) & s__serviceProvider(V__EVENT,V__PROVIDER)))) )
|
Mid-level-ontology.kif 20745-20750 | |
| ( ! [V__EVENT] : (s__instance(V__EVENT,s__ServiceProcess) => (? [V__RECEIVER] : (s__instance(V__RECEIVER,s__CognitiveAgent) & s__serviceRecipient(V__EVENT,V__RECEIVER)))) )
|
Mid-level-ontology.kif 20753-20758 | |
| ( ! [V__X] : (s__instance(V__X,s__ServiceProcess) => (? [V__AGENT,V__CUST] : (s__serviceProvider(V__X,V__AGENT) & s__serviceRecipient(V__X,V__CUST) & (~ (V__AGENT = V__CUST))))) )
|
Hotel.kif 1716-1722 |
| consequent |
|
|
| ( ! [V__ENTITY,V__ATTR,V__AGENT] : ((s__subjectiveAttribute(V__ENTITY,V__ATTR,V__AGENT) & s__instance(V__ATTR,s__ServiceRating) & s__instance(V__ENTITY,s__Agent)) => (? [V__SVC,V__CLASSIFY] : (s__instance(V__SVC,s__ServiceProcess) & s__agent(V__SVC,V__ENTITY) & s__instance(V__CLASSIFY,s__Classifying) & s__destination(V__CLASSIFY,V__SVC) & s__patient(V__CLASSIFY,V__ATTR)))) )
|
Hotel.kif 3019-3030 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3010-3017 | |
| ( ! [V__C,V__SERVICE,V__CUST] : (s__property(V__C,s__ServiceContract) => (? [V__SP] : (s__instance(V__SP,s__ServiceProcess) & s__realization(V__SP,V__C) & s__serviceProvider(V__SP,V__SERVICE) & s__serviceRecipient(V__SP,V__CUST) & s__partyToAgreement(V__C,V__SERVICE) & s__partyToAgreement(V__C,V__CUST)))) )
|
Mid-level-ontology.kif 11815-11824 |
|
|
|