AirportShuttleService - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AirportShuttleService EnglishLanguage "AirportShuttleService is a type of ShuttleService that has an Airport as one of its stops")	Hotel.kif 2067-2068
(subclass AirportShuttleService ShuttleService)	Hotel.kif 2066-2066	Airport shuttle is a subclass of shuttle

appearance as argument number 2

(termFormat EnglishLanguage AirportShuttleService "airport shuttle")

Hotel.kif 2069-2069

antecedent

(=>
    (instance ?SVC AirportShuttleService)
    (exists (?AIRPORT ?TRANSPORT)
        (and
            (instance ?AIRPORT Airport)
            (subProcess ?TRANSPORT ?SVC)
            (instance ?TRANSPORT Transportation)
            (or
                (destination ?TRANSPORT ?AIRPORT)
                (origin ?TRANSPORT ?AIRPORT)))))

Hotel.kif 2071-2080

If a process is an instance of airport shuttle,
then there exist an object and another process such that the object is an instance of airport and the other process is a subprocess of the process and the other process is an instance of transportation and the other process ends up at the object or the other process originates at the object

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

KB Term:			Term intersection

English Word: