Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PassengerShip

 Sigma KEE - PassengerShip
PassengerShip(passenger ship)
passenger_ship

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


(documentation PassengerShip EnglishLanguage "PassengerShip is the subclass of WaterVehicle designed for the purpose of carrying passengers.") Transportation.kif 2492-2493
(subclass PassengerShip Ship) Transportation.kif 2494-2494 Passenger ship is a subclass of ship
(externalImage PassengerShip "http://upload.wikimedia.org/wikipedia/en/b/ b5/ Cruiseship_to_Alaska.JPG") pictureList.kif 2286-2286 Passenger ship is a subclass of ship

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


(subclass PassengerAndCargoShip PassengerShip) Transportation.kif 2620-2620 Passenger and cargo ship is a subclass of passenger ship
(subclass ShortSeaPassengerShip PassengerShip) Transportation.kif 2622-2622 Short sea passenger ship is a subclass of passenger ship
(subclass CruiseShip PassengerShip) Transportation.kif 2707-2707 Cruise ship is a subclass of passenger ship
(subclass OceanLiner PassengerShip) Transportation.kif 2722-2722 Ocean liner is a subclass of passenger ship
(termFormat EnglishLanguage PassengerShip "passenger ship") domainEnglishFormat.kif 44693-44693 Ocean liner is a subclass of passenger ship
(termFormat ChineseTraditionalLanguage PassengerShip "客船") domainEnglishFormat.kif 44694-44694 Ocean liner is a subclass of passenger ship
(termFormat ChineseLanguage PassengerShip "客船") domainEnglishFormat.kif 44695-44695 Ocean liner is a subclass of passenger ship

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


(=>
    (instance ?SHIP PassengerShip)
    (cargoType ?SHIP Human))		 Transportation.kif 2496-2498 If X is an instance of passenger ship, then human is a cargo type of X

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


(=>
    (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 8156-8172 If X is an instance of Water Transportation Service, Y provides a service during X, and deep sea passenger transportation is an attribute of Y, then All of the following hold: (1) there exist Z (2) W such that Z is a subprocess of X (3) Z is an instance of water transportation (4) W is an instrument for Z (5) W is an instance of passenger ship (6) Z is located at world ocean (7) there doesn't exist V such that V is an instance of short sea passenger ship (8) equal W (9) V
(=>
    (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 8204-8222 If X is an instance of Water Transportation Service, Y provides a service during X, and coastal and great lakes passenger transportation is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a subprocess of X (3) Z is an instance of water transportation (4) W is an instrument for Z (5) W is an instance of passenger ship (6) Z is located at V (7) V is an instance of water area (8) V is a geographic subregion of united states (9) there doesn't exist U such that U is an instance of short sea passenger ship (10) equal W (11) U


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners