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 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	子類客船 and 船

appearance as argument number 2

(subclass CruiseShip PassengerShip)	Transportation.kif 2489-2489	子類遊輪 and 客船
(subclass OceanLiner PassengerShip)	Transportation.kif 2504-2504	子類遠洋班輪 and 客船
(subclass PassengerAndCargoShip PassengerShip)	Transportation.kif 2438-2438	子類客貨船 and 客船
(subclass ShortSeaPassengerShip PassengerShip)	Transportation.kif 2440-2440	子類近海客船 and 客船
(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

例 TransportationDevice and 客船
Human 是 TransportationDevice 的 cargo 種類

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 WaterTransportationService 服務提供者服務 and CognitiveAgent attribute CognitiveAgent and 沿海和大湖泊客運 Process Object and GeographicArea 子過程 Process and 服務例 Process and 水運儀器 Process and Object 例 Object and 客船 Process 是 located 在 GeographicArea 例 GeographicArea and WaterArea GeographicArea 是美國的 geographic 次要地區 Entity 例 Entity and 近海客船等於 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	例服務 and WaterTransportationService 服務提供者服務 and CognitiveAgent attribute CognitiveAgent and 深海客運 Process Object 子過程 Process and 服務例 Process and 水運儀器 Process and Object 例 Object and 客船 Process 是 located 在世界海洋 Entity 例 Entity and 近海客船等於 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