| 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 2479-2480 | |
| (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 2478-2478 |
| appearance as argument number 2 |
|
|
| (subclass CableShip Ship) | Transportation.kif 2632-2632 | |
| (subclass CargoShip Ship) | Mid-level-ontology.kif 31713-31713 | |
| (subclass CraneShip Ship) | Transportation.kif 2631-2631 | |
| (subclass Dredger Ship) | Transportation.kif 2627-2627 | |
| (subclass DrillingShip Ship) | Transportation.kif 2624-2624 | |
| (subclass IceBreakerShip Ship) | Transportation.kif 2633-2633 | |
| (subclass MerchantMarineShip Ship) | Transportation.kif 1019-1019 | |
| (subclass MilitaryShip Ship) | Military.kif 254-254 | |
| (subclass MotorHopper Ship) | Transportation.kif 2629-2629 | |
| (subclass OffshoreSupplyShip Ship) | Transportation.kif 2621-2621 | |
| (subclass OffshoreSupportShip Ship) | Transportation.kif 2622-2622 | |
| (subclass OffshoreWellProductionShip Ship) | Transportation.kif 2623-2623 | |
| (subclass PassengerShip Ship) | Transportation.kif 2484-2484 | |
| (subclass ResearchShip Ship) | Transportation.kif 2625-2625 | |
| (subclass SludgeDisposalVessel Ship) | Transportation.kif 2630-2630 | |
| (termFormat ChineseLanguage Ship "船") | domainEnglishFormat.kif 52632-52632 | |
| (termFormat ChineseTraditionalLanguage Ship "船") | domainEnglishFormat.kif 52631-52631 | |
| (termFormat EnglishLanguage Ship "ship") | domainEnglishFormat.kif 52630-52630 |
| appearance as argument number 3 |
|
|
| (domain ShipBerthingFn 1 Ship) | Transportation.kif 3901-3901 |
| 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 |
|
|
|