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 2313-2314
(externalImage PassengerShip "http://upload.wikimedia.org/wikipedia/en/b/ b5/ Cruiseship_to_Alaska.JPG") pictureList.kif 2287-2287
(subclass PassengerShip Ship) Transportation.kif 2315-2315 客船 是 船 的 subclass

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


(subclass CruiseShip PassengerShip) Transportation.kif 2489-2489 游轮 是 客船 的 subclass
(subclass OceanLiner PassengerShip) Transportation.kif 2504-2504 远洋班轮 是 客船 的 subclass
(subclass PassengerAndCargoShip PassengerShip) Transportation.kif 2438-2438 客货船 是 客船 的 subclass
(subclass ShortSeaPassengerShip PassengerShip) Transportation.kif 2440-2440 近海客船 是 客船 的 subclass
(termFormat ChineseLanguage PassengerShip "客船") domainEnglishFormat.kif 44702-44702
(termFormat ChineseTraditionalLanguage PassengerShip "客船") domainEnglishFormat.kif 44701-44701
(termFormat EnglishLanguage PassengerShip "passenger ship") domainEnglishFormat.kif 44700-44700

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


(=>
    (instance ?SHIP PassengerShip)
    (cargoType ?SHIP Human))		 Transportation.kif 2317-2319

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