( ! [V__SVC] :
(s__instance(V__SVC,s__TransportationService)s__=>(s__exists__m[V__VEHICLE,V__AGENT,V__TRANS,V__CUST] :
(s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__m(s__agent(V__SVC,V__AGENT)
s__and__ms__possesses(V__AGENT,V__VEHICLE)
s__and__ms__customer(V__CUST,V__AGENT)
s__and__ms__instance(V__VEHICLE,s__Vehicle)s__and__ms__instance(V__TRANS,s__Transportation)s__and__ms__agent(V__TRANS,V__AGENT)
s__and__ms__patient(V__TRANS,V__CUST)
s__and__ms__instrument(V__TRANS,V__VEHICLE)
s__and__ms__subProcess(V__TRANS,V__SVC)))))
)
|
Transportation.kif 3284-3296 |
|
