TreeView Knowledge Base Browser - PassengerShip

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 2314-2315
(externalImage PassengerShip "http://upload.wikimedia.org/wikipedia/en/b/ b5/ Cruiseship_to_Alaska.JPG")	pictureList.kif 2288-2288
(subclass PassengerShip Ship)	Transportation.kif 2316-2316	subclass PassengerShip and Ship

appearance as argument number 2

(subclass CruiseShip PassengerShip)	Transportation.kif 2474-2474	subclass CruiseShip and PassengerShip
(subclass OceanLiner PassengerShip)	Transportation.kif 2489-2489	subclass OceanLiner and PassengerShip
(subclass PassengerAndCargoShip PassengerShip)	Transportation.kif 2439-2439	subclass PassengerAndCargoShip and PassengerShip
(subclass ShortSeaPassengerShip PassengerShip)	Transportation.kif 2441-2441	subclass ShortSeaPassengerShip and PassengerShip
(termFormat ChineseLanguage PassengerShip "客船")	domainEnglishFormat.kif 44677-44677
(termFormat ChineseTraditionalLanguage PassengerShip "客船")	domainEnglishFormat.kif 44676-44676
(termFormat EnglishLanguage PassengerShip "passenger ship")	domainEnglishFormat.kif 44675-44675

antecedent

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

Transportation.kif 2318-2320

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	instance ServiceProcess and WaterTransportationService serviceProvider ServiceProcess and CognitiveAgent attribute CognitiveAgent and CoastalAndGreatLakesPassengerTransportation Process Object and GeographicArea subProcess Process and ServiceProcess instance Process and WaterTransportation instrument Process and Object instance Object and PassengerShip eventLocated Process and GeographicArea instance GeographicArea and WaterArea geographicSubregion GeographicArea and UnitedStates Entity instance Entity and ShortSeaPassengerShip equal Object and 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	instance ServiceProcess and WaterTransportationService serviceProvider ServiceProcess and CognitiveAgent attribute CognitiveAgent and DeepSeaPassengerTransportation Process Object subProcess Process and ServiceProcess instance Process and WaterTransportation instrument Process and Object instance Object and PassengerShip eventLocated Process and WorldOcean Entity instance Entity and ShortSeaPassengerShip equal Object and Entity

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