TransportationService - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TransportationService EnglishLanguage "TransportationService refers to how an agent that possesses some kind of vehicle transports people around")	Transportation.kif 3305-3306
(subclass TransportationService ServiceProcess)	Transportation.kif 3304-3304	Transportation service is a subclass of service

appearance as argument number 2

(subclass AirTransportationService TransportationService)	Transportation.kif 3323-3323	Air Transportation Service is a subclass of transportation service
(subclass LandTransportationService TransportationService)	Transportation.kif 3337-3337	Land Transportation Service is a subclass of transportation service
(subclass ShuttleService TransportationService)	Hotel.kif 1977-1977	Shuttle is a subclass of transportation service
(subclass WaterTransportationService TransportationService)	Transportation.kif 3350-3350	Water Transportation Service is a subclass of transportation service
(termFormat EnglishLanguage TransportationService "transportation service")	Transportation.kif 3307-3307	"transportation service" is the printable form of transportation service in english language

antecedent

(=>
    (instance ?SVC TransportationService)
    (exists (?VEHICLE ?AGENT ?TRANS ?CUST)
        (and
            (agent ?SVC ?AGENT)
            (possesses ?AGENT ?VEHICLE)
            (customer ?CUST ?AGENT)
            (instance ?VEHICLE Vehicle)
            (instance ?TRANS Transportation)
            (agent ?TRANS ?AGENT)
            (patient ?TRANS ?CUST)
            (instrument ?TRANS ?VEHICLE)
            (subProcess ?TRANS ?SVC))))

Transportation.kif 3309-3321

If a process is an instance of transportation service,
then there exist an object, a cognitive agent,, , another process and another cognitive agent such that the cognitive agent is an agent of the process and the cognitive agent possesses the object and the cognitive agent is a customer of the other cognitive agent and the object is an instance of vehicle and the other process is an instance of transportation and the cognitive agent is an agent of the other process and the other cognitive agent is a patient of the other process and the object is an instrument for the other process and the other process is a subprocess of the process

consequent

(=>
    (providesDestination ?TC ?REG)
    (modalAttribute
        (exists (?SVC)
            (and
                (instance ?SVC TransportationService)
                (serviceProvider ?SVC ?TC)
                (destination ?SVC ?REG))) Possibility))

Transportation.kif 3370-3377

If a transportation company provides transportation to a region,
then the statement there exists an entity such that the entity is an instance of transportation service and the transportation company provides a service during the entity and the entity ends up at the region has the modal force of possibility

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: