PassengerShip - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - PassengerShip

PassengerShip(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 2476-2477
(externalImage PassengerShip "http://upload.wikimedia.org/wikipedia/en/b/ b5/ Cruiseship_to_Alaska.JPG")	pictureList.kif 2286-2286
(subclass PassengerShip Ship)	Transportation.kif 2478-2478	Passenger ship is a subclass of ship

appearance as argument number 2

(subclass CruiseShip PassengerShip)	Transportation.kif 2652-2652	Cruise ship is a subclass of passenger ship
(subclass OceanLiner PassengerShip)	Transportation.kif 2667-2667	Ocean liner is a subclass of passenger ship
(subclass PassengerAndCargoShip PassengerShip)	Transportation.kif 2601-2601	Passenger and cargo ship is a subclass of passenger ship
(subclass ShortSeaPassengerShip PassengerShip)	Transportation.kif 2603-2603	Short sea passenger ship is a subclass of passenger ship
(termFormat ChineseLanguage PassengerShip "客船")	domainEnglishFormat.kif 44733-44733	Short sea passenger ship is a subclass of passenger ship
(termFormat ChineseTraditionalLanguage PassengerShip "客船")	domainEnglishFormat.kif 44732-44732	Short sea passenger ship is a subclass of passenger ship
(termFormat EnglishLanguage PassengerShip "passenger ship")	domainEnglishFormat.kif 44731-44731	Short sea passenger ship is a subclass of passenger ship

antecedent

(=>
(instance ?SHIP PassengerShip)
(cargoType ?SHIP Human))

Transportation.kif 2480-2482

If a transportation device is an instance of passenger ship,
then human is a cargo type of the transportation device

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	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes passenger transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of passenger ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states and there doesn't exist an entity such that the entity is an instance of short sea passenger ship and the object is equal to the entity
(=> (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	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and deep sea passenger transportation is an attribute of the cognitive agent, then there exist a process and an object such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of passenger ship and the process is located at world ocean and there doesn't exist an entity such that the entity is an instance of short sea passenger ship and the object is equal to the entity

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