|
|
   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 2310-2311 | |
| (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 2309-2309 | 船 是 排水型船体水车 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass CableShip Ship) | Transportation.kif 2460-2460 | 电缆船 是 船 的 subclass |
| (subclass CargoShip Ship) | Mid-level-ontology.kif 30086-30086 | 货船 是 船 的 subclass |
| (subclass CraneShip Ship) | Transportation.kif 2459-2459 | 起重船 是 船 的 subclass |
| (subclass Dredger Ship) | Transportation.kif 2455-2455 | 挖泥船 是 船 的 subclass |
| (subclass DrillingShip Ship) | Transportation.kif 2452-2452 | 钻井船 是 船 的 subclass |
| (subclass IceBreakerShip Ship) | Transportation.kif 2461-2461 | 破冰船 是 船 的 subclass |
| (subclass MerchantMarineShip Ship) | Transportation.kif 1019-1019 | 商船海运 是 船 的 subclass |
| (subclass MilitaryShip Ship) | Military.kif 187-187 | 军舰 是 船 的 subclass |
| (subclass MotorHopper Ship) | Transportation.kif 2457-2457 | 电动料斗 是 船 的 subclass |
| (subclass OffshoreSupplyShip Ship) | Transportation.kif 2449-2449 | 海外供应船 是 船 的 subclass |
| (subclass OffshoreSupportShip Ship) | Transportation.kif 2450-2450 | 海外支援船 是 船 的 subclass |
| (subclass OffshoreWellProductionShip Ship) | Transportation.kif 2451-2451 | 海外井生产船 是 船 的 subclass |
| (subclass PassengerShip Ship) | Transportation.kif 2315-2315 | 客船 是 船 的 subclass |
| (subclass ResearchShip Ship) | Transportation.kif 2453-2453 | 研究船 是 船 的 subclass |
| (subclass SludgeDisposalVessel Ship) | Transportation.kif 2458-2458 | 污泥处理船 是 船 的 subclass |
| (termFormat ChineseLanguage Ship "船") | domainEnglishFormat.kif 52601-52601 | |
| (termFormat ChineseTraditionalLanguage Ship "船") | domainEnglishFormat.kif 52600-52600 | |
| (termFormat EnglishLanguage Ship "ship") | domainEnglishFormat.kif 52599-52599 |
| appearance as argument number 3 |
|
|
| (domain ShipBerthingFn 1 Ship) | Transportation.kif 3076-3076 | 船靠泊 的 1 数量 是 船 的 instance |
| 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 |
|
|
|
