| Ship(船)
| |
| appearance as argument number 1 |
|
|
| (documentation Ship EnglishLanguage "Ship is the class of large WaterVehicle used for travel on oceans, seas, or large lakes.") | Transportation.kif 2304-2305 | |
| (externalImage Ship "http://articulatesoftware.com/SUMOpictures/transportation/ ship.png") | pictureList.kif 726-726 | |
| (externalImage Ship "http://upload.wikimedia.org/wikipedia/commons/9/9a/ DANA_2004_ubt.jpeg") | pictureList.kif 167-167 | |
| (subclass Ship DisplacementHullWaterVehicle) | Transportation.kif 2303-2303 | 子類 船 and 排水型船體水車 |
| appearance as argument number 2 |
|
|
| (subclass CableShip Ship) | Transportation.kif 2454-2454 | 子類 電纜船 and 船 |
| (subclass CargoShip Ship) | Mid-level-ontology.kif 30062-30062 | 子類 貨船 and 船 |
| (subclass CraneShip Ship) | Transportation.kif 2453-2453 | 子類 起重船 and 船 |
| (subclass Dredger Ship) | Transportation.kif 2449-2449 | 子類 挖泥船 and 船 |
| (subclass DrillingShip Ship) | Transportation.kif 2446-2446 | 子類 鑽井船 and 船 |
| (subclass IceBreakerShip Ship) | Transportation.kif 2455-2455 | 子類 破冰船 and 船 |
| (subclass MerchantMarineShip Ship) | Transportation.kif 1019-1019 | 子類 商船海運 and 船 |
| (subclass MilitaryShip Ship) | Military.kif 187-187 | 子類 軍艦 and 船 |
| (subclass MotorHopper Ship) | Transportation.kif 2451-2451 | 子類 電動料斗 and 船 |
| (subclass OffshoreSupplyShip Ship) | Transportation.kif 2443-2443 | 子類 海外供應船 and 船 |
| (subclass OffshoreSupportShip Ship) | Transportation.kif 2444-2444 | 子類 海外支援船 and 船 |
| (subclass OffshoreWellProductionShip Ship) | Transportation.kif 2445-2445 | 子類 海外井生產船 and 船 |
| (subclass PassengerShip Ship) | Transportation.kif 2309-2309 | 子類 客船 and 船 |
| (subclass ResearchShip Ship) | Transportation.kif 2447-2447 | 子類 研究船 and 船 |
| (subclass SludgeDisposalVessel Ship) | Transportation.kif 2452-2452 | 子類 污泥處理船 and 船 |
| (termFormat ChineseLanguage Ship "船") | domainEnglishFormat.kif 52599-52599 | |
| (termFormat ChineseTraditionalLanguage Ship "船") | domainEnglishFormat.kif 52598-52598 | |
| (termFormat EnglishLanguage Ship "ship") | domainEnglishFormat.kif 52597-52597 |
| appearance as argument number 3 |
|
|
| (domain ShipBerthingFn 1 Ship) | Transportation.kif 3024-3024 | 域 船靠泊, 1 and 船 |
| antecedent |
|
|
| (=> (and (instance ?REGISTRATION ShipRegistration) (instance ?SHIP Ship) (possesses ?SHIP ?REGISTRATION) (instance ?AREA GeopoliticalArea) (flagState ?SHIP ?AREA)) (subsumesContentInstance (ShipRegisterFn ?AREA) ?REGISTRATION)) |
Transportation.kif 1097-1104 |
|
| (=> (and (instance ?SHIP Ship) (instance ?AREA GeopoliticalArea) (member ?SHIP (MerchantMarineFn ?AREA))) (exists (?REGISTRATION) (and (instance ?REGISTRATION ShipRegistration) (possesses ?SHIP ?REGISTRATION) (subsumesContentInstance (ShipRegisterFn ?AREA) ?REGISTRATION)))) |
Transportation.kif 1157-1166 |
|
|
|
|