Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PassengerShip

Sigma KEE - PassengerShip
PassengerShip

appearance as argument number 1
-------------------------


(documentation PassengerShip EnglishLanguage "PassengerShip is the subclass of WaterVehicle designed for the purpose of carrying passengers.") Transportation.kif 2307-2308
(externalImage PassengerShip "http://upload.wikimedia.org/wikipedia/en/b/ b5/ Cruiseship_to_Alaska.JPG") pictureList.kif 2287-2287
(subclass PassengerShip Ship) Transportation.kif 2309-2309 PassengerShipShipsubclass では %n

appearance as argument number 2
-------------------------


(subclass CruiseShip PassengerShip) Transportation.kif 2467-2467 CruiseShipPassengerShipsubclass では %n
(subclass OceanLiner PassengerShip) Transportation.kif 2482-2482 OceanLinerPassengerShipsubclass では %n
(subclass PassengerAndCargoShip PassengerShip) Transportation.kif 2432-2432 PassengerAndCargoShipPassengerShipsubclass では %n
(subclass ShortSeaPassengerShip PassengerShip) Transportation.kif 2434-2434 ShortSeaPassengerShipPassengerShipsubclass では %n
(termFormat ChineseLanguage PassengerShip "客船") domainEnglishFormat.kif 44700-44700
(termFormat ChineseTraditionalLanguage PassengerShip "客船") domainEnglishFormat.kif 44699-44699
(termFormat EnglishLanguage PassengerShip "passenger ship") domainEnglishFormat.kif 44698-44698

antecedent
-------------------------


(=>
    (instance ?SHIP PassengerShip)
    (cargoType ?SHIP Human))
Transportation.kif 2311-2313

consequent
-------------------------


(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y CoastalAndGreatLakesPassengerTransportation))
    (exists (?CRUISE ?SHIP ?WATER)
        (and
            (subProcess ?CRUISE ?X)
            (instance ?CRUISE WaterTransportation)
            (instrument ?CRUISE ?SHIP)
            (instance ?SHIP PassengerShip)
            (eventLocated ?CRUISE ?WATER)
            (instance ?WATER WaterArea)
            (geographicSubregion ?WATER UnitedStates)
            (not
                (exists (?FERRY)
                    (and
                        (instance ?FERRY ShortSeaPassengerShip)
                        (equal ?SHIP ?FERRY)))))))
naics.kif 8207-8225
(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y DeepSeaPassengerTransportation))
    (exists (?CRUISE ?SHIP)
        (and
            (subProcess ?CRUISE ?X)
            (instance ?CRUISE WaterTransportation)
            (instrument ?CRUISE ?SHIP)
            (instance ?SHIP PassengerShip)
            (eventLocated ?CRUISE WorldOcean)
            (not
                (exists (?FERRY)
                    (and
                        (instance ?FERRY ShortSeaPassengerShip)
                        (equal ?SHIP ?FERRY)))))))
naics.kif 8159-8175


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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