TransportationService - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__TransportationService,s__EnglishLanguage,'"TransportationService refers to how an agent that possesses some kind of vehicle transports people around"')

Transportation.kif 3314-3315

Transportation.kif 3313-3313

appearance as argument number 2

s__instance(s__TransportationService,s__SetOrClass) s__instance(s__AirTransportationService,s__SetOrClass) s__subclass(s__AirTransportationService,s__TransportationService)	Transportation.kif 3332-3332	Air Transportation Service is a subclass of transportation service
s__instance(s__TransportationService,s__SetOrClass) s__subclass(s__LandTransportationService,s__TransportationService) s__instance(s__LandTransportationService,s__SetOrClass)	Transportation.kif 3346-3346	Land Transportation Service is a subclass of transportation service
s__instance(s__TransportationService,s__SetOrClass) s__subclass(s__ShuttleService,s__TransportationService) s__instance(s__ShuttleService,s__SetOrClass)	Hotel.kif 1977-1977	Shuttle is a subclass of transportation service
s__instance(s__TransportationService,s__SetOrClass) s__subclass(s__WaterTransportationService,s__TransportationService) s__instance(s__WaterTransportationService,s__SetOrClass)	Transportation.kif 3359-3359	Water Transportation Service is a subclass of transportation service
s__termFormat(s__EnglishLanguage,s__TransportationService,'"transportation service"')	Transportation.kif 3316-3316

antecedent

( ! [V__SVC] :
   (s__instance(V__SVC,s__TransportationService) =>
     ( ? [V__VEHICLE, V__AGENT, V__TRANS, V__CUST] :
       ((s__instance(V__AGENT,s__CognitiveAgent) &
           s__instance(V__CUST,s__CognitiveAgent) &
           (s__agent(V__SVC,V__AGENT)
           &
           s__possesses(V__AGENT,V__VEHICLE)
         &
         s__customer(V__CUST,V__AGENT)
       &
       s__instance(V__VEHICLE,s__Vehicle) &
       s__instance(V__TRANS,s__Transportation) &
       s__agent(V__TRANS,V__AGENT)
     &
     s__patient(V__TRANS,V__CUST)
   &
   s__instrument(V__TRANS,V__VEHICLE)
&
s__subProcess(V__TRANS,V__SVC)))))
)
)

Transportation.kif 3318-3330

consequent

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 3379-3386