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 |
appearance as argument number 2 |
(subclass CableShip Ship) | Transportation.kif 2454-2454 | |
(subclass CargoShip Ship) | Mid-level-ontology.kif 30050-30050 | |
(subclass CraneShip Ship) | Transportation.kif 2453-2453 | |
(subclass Dredger Ship) | Transportation.kif 2449-2449 | |
(subclass DrillingShip Ship) | Transportation.kif 2446-2446 | |
(subclass IceBreakerShip Ship) | Transportation.kif 2455-2455 | |
(subclass MerchantMarineShip Ship) | Transportation.kif 1019-1019 | |
(subclass MilitaryShip Ship) | Military.kif 187-187 | |
(subclass MotorHopper Ship) | Transportation.kif 2451-2451 | |
(subclass OffshoreSupplyShip Ship) | Transportation.kif 2443-2443 | |
(subclass OffshoreSupportShip Ship) | Transportation.kif 2444-2444 | |
(subclass OffshoreWellProductionShip Ship) | Transportation.kif 2445-2445 | |
(subclass PassengerShip Ship) | Transportation.kif 2309-2309 | |
(subclass ResearchShip Ship) | Transportation.kif 2447-2447 | |
(subclass SludgeDisposalVessel Ship) | Transportation.kif 2452-2452 | |
(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 |
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 |