| 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 2293-2294 | |
| (externalImage Ship "http://upload.wikimedia.org/wikipedia/commons/9/9a/ DANA_2004_ubt.jpeg") | pictureList.kif 167-167 | |
| (externalImage Ship "http://www.adampease.org/Articulate/SUMOpictures/pictures/ transportation/ ship.png") | pictureList.kif 726-726 | |
| (subclass Ship DisplacementHullWaterVehicle) | Transportation.kif 2292-2292 |
| appearance as argument number 2 |
|
|
| (subclass CableShip Ship) | Transportation.kif 2443-2443 | |
| (subclass CargoShip Ship) | Mid-level-ontology.kif 28259-28259 | |
| (subclass CraneShip Ship) | Transportation.kif 2442-2442 | |
| (subclass Dredger Ship) | Transportation.kif 2438-2438 | |
| (subclass DrillingShip Ship) | Transportation.kif 2435-2435 | |
| (subclass IceBreakerShip Ship) | Transportation.kif 2444-2444 | |
| (subclass MerchantMarineShip Ship) | Transportation.kif 1008-1008 | |
| (subclass MilitaryShip Ship) | Military.kif 187-187 | |
| (subclass MotorHopper Ship) | Transportation.kif 2440-2440 | |
| (subclass OffshoreSupplyShip Ship) | Transportation.kif 2432-2432 | |
| (subclass OffshoreSupportShip Ship) | Transportation.kif 2433-2433 | |
| (subclass OffshoreWellProductionShip Ship) | Transportation.kif 2434-2434 | |
| (subclass PassengerShip Ship) | Transportation.kif 2298-2298 | |
| (subclass ResearchShip Ship) | Transportation.kif 2436-2436 | |
| (subclass SludgeDisposalVessel Ship) | Transportation.kif 2441-2441 | |
| (termFormat ChineseLanguage Ship "船") | domainEnglishFormat.kif 52593-52593 | |
| (termFormat ChineseTraditionalLanguage Ship "船") | domainEnglishFormat.kif 52592-52592 | |
| (termFormat EnglishLanguage Ship "ship") | domainEnglishFormat.kif 52591-52591 |
| appearance as argument number 3 |
|
|
| (domain ShipBerthingFn 1 Ship) | Transportation.kif 3002-3002 |
| antecedent |
|
|
| (=> (and (instance ?REGISTRATION ShipRegistration) (instance ?SHIP Ship) (possesses ?SHIP ?REGISTRATION) (instance ?AREA GeopoliticalArea) (flagState ?SHIP ?AREA)) (subsumesContentInstance (ShipRegisterFn ?AREA) ?REGISTRATION)) |
Transportation.kif 1086-1093 | |
| (=> (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 1146-1155 |
|
|
|