WaterVehicle - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WaterVehicle EnglishLanguage "WaterVehicle is the class of all TransportationDevices used to travel on or in water.")	Mid-level-ontology.kif 3927-3928
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ TCRT_Express_Boat_Minnehaha.jpg")	pictureList-ImageNet.kif 391-391
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Moscow,_boat_by_Lu_Bridge_(1).jpg")	pictureList-ImageNet.kif 383-383
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ FS_Mistral_02.jpg")	pictureList-ImageNet.kif 546-546
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Polizia_Lagunare_Boat.jpg")	pictureList-ImageNet.kif 386-386
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Police.boat.at.poole.arp.jpg")	pictureList-ImageNet.kif 389-389
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 18/ Prison_police_boat.jpg/ 800px_Prison_police_boat.jpg")	pictureList-ImageNet.kif 382-382
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1a/ Inflatable_boat_with_mercury_4hp_engine.JPG/ 800px_Inflatable_boat_with_mercury_4hp_engine.JPG")	pictureList-ImageNet.kif 390-390
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 68/ Milk_Carton_Boat_Race_Minneapolis-2005-07-24.jpg/ 800px_Milk_Carton_Boat_Race_Minneapolis-2005-07-24.jpg")	pictureList-ImageNet.kif 385-385
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 69/ Nolsoy_rowing_boat,_faroe_islands.jpg/ 397px_Nolsoy_rowing_boat,_faroe_islands.jpg")	pictureList-ImageNet.kif 381-381
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 69/ Oars_of_a_Faroese_rowing_boat.jpg/ 800px_Oars_of_a_Faroese_rowing_boat.jpg")	pictureList-ImageNet.kif 384-384
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 72/ Model_boat_-_science_museum_london_2.jpg/ 450px_Model_boat_-_science_museum_london_2.jpg")	pictureList-ImageNet.kif 388-388
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 7b/ SK_Alfred_Krupp_Kiel2007.jpg/ 800px_SK_Alfred_Krupp_Kiel2007.jpg")	pictureList-ImageNet.kif 545-545
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 7f/ Denmark_Odense_River_boat.jpg/ 800px_Denmark_Odense_River_boat.jpg")	pictureList-ImageNet.kif 392-392
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b8/ Lash_vessel.JPG/ 300px_Lash_vessel.JPG")	pictureList-ImageNet.kif 544-544
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c7/ Kochi_boat_20080215-02.jpg/ 800px_Kochi_boat_20080215-02.jpg")	pictureList-ImageNet.kif 393-393
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c9/ Fishing_boat_in_Altafjorden.JPG/ 450px_Fishing_boat_in_Altafjorden.JPG")	pictureList-ImageNet.kif 387-387
(subclass WaterVehicle Vehicle)	Mid-level-ontology.kif 3926-3926	WaterVehicle is a subclass of Vehicle

appearance as argument number 2

(subclass AmphibiousVehicle WaterVehicle)	MilitaryDevices.kif 2177-2177	AmphibiousVehicle is a subclass of WaterVehicle
(subclass Barge WaterVehicle)	Transportation.kif 2683-2683	Barge is a subclass of WaterVehicle
(subclass Canoe WaterVehicle)	Transportation.kif 2693-2693	Canoe is a subclass of WaterVehicle
(subclass DisplacementHullWaterVehicle WaterVehicle)	Transportation.kif 2472-2472	DisplacementHullWaterVehicle is a subclass of WaterVehicle
(subclass FerryBoat WaterVehicle)	Transportation.kif 2688-2688	FerryBoat is a subclass of WaterVehicle
(subclass FireBoat WaterVehicle)	Transportation.kif 2687-2687	FireBoat is a subclass of WaterVehicle
(subclass FishingShip WaterVehicle)	Transportation.kif 2614-2614	FishingShip is a subclass of WaterVehicle
(subclass Kayak WaterVehicle)	Sports.kif 213-213	Kayak is a subclass of WaterVehicle
(subclass Keelboat WaterVehicle)	Sports.kif 216-216	Keelboat is a subclass of WaterVehicle
(subclass MilitaryWaterVehicle WaterVehicle)	Military.kif 228-228	MilitaryWaterVehicle is a subclass of WaterVehicle
(subclass MultihullWaterVehicle WaterVehicle)	Transportation.kif 2469-2469	MultihullWaterVehicle is a subclass of WaterVehicle
(subclass PersonalWatercraft WaterVehicle)	Transportation.kif 2699-2699	PersonalWatercraft is a subclass of WaterVehicle
(subclass PlaningHullWaterVehicle WaterVehicle)	Transportation.kif 2655-2655	PlaningHullWaterVehicle is a subclass of WaterVehicle
(subclass Runabout WaterVehicle)	Transportation.kif 2691-2691	Runabout is a subclass of WaterVehicle
(subclass Sailboat WaterVehicle)	Transportation.kif 2692-2692	Sailboat is a subclass of WaterVehicle
(subclass Submarine WaterVehicle)	Mid-level-ontology.kif 19195-19195	Submarine is a subclass of WaterVehicle
(subclass TugBoat WaterVehicle)	Transportation.kif 2686-2686	TugBoat is a subclass of WaterVehicle
(termFormat ChineseLanguage WaterVehicle "水车")	domainEnglishFormat.kif 62499-62499	TugBoat is a subclass of WaterVehicle
(termFormat ChineseTraditionalLanguage WaterVehicle "水車")	domainEnglishFormat.kif 62498-62498	TugBoat is a subclass of WaterVehicle
(termFormat EnglishLanguage WaterVehicle "water vehicle")	domainEnglishFormat.kif 62497-62497	TugBoat is a subclass of WaterVehicle

appearance as argument number 3

(domain ShipCrewFn 1 WaterVehicle)	Transportation.kif 4415-4415	The number 1 argument of ShipCrewFn is an instance of WaterVehicle
(domain flagState 1 WaterVehicle)	Transportation.kif 1080-1080	The number 1 argument of flagState is an instance of WaterVehicle
(domain ladenDraft 1 WaterVehicle)	Transportation.kif 3207-3207	The number 1 argument of ladenDraft is an instance of WaterVehicle
(domain vesselDeadWeightTonnage 1 WaterVehicle)	Transportation.kif 2728-2728	The number 1 argument of vesselDeadWeightTonnage is an instance of WaterVehicle
(domain vesselDisplacement 1 WaterVehicle)	Transportation.kif 2718-2718	The number 1 argument of vesselDisplacement is an instance of WaterVehicle
(domain vesselGrossRegisteredTonnage 1 WaterVehicle)	Transportation.kif 2751-2751	The number 1 argument of vesselGrossRegisteredTonnage is an instance of WaterVehicle

antecedent

(=> (and (instance ?BERG Iceberg) (instance ?SHIP WaterVehicle)) (maritimeHazard ?BERG ?SHIP))	Geography.kif 5510-5514	If a physical is an instance of Iceberg and an object is an instance of WaterVehicle, then maritimeHazard the physical and the object
(=> (and (instance ?CRAFT WaterVehicle) (instance ?EVENT Transportation) (instrument ?EVENT ?CRAFT)) (exists (?WATER) (and (instance ?WATER WaterArea) (eventLocated ?EVENT ?WATER))))	Mid-level-ontology.kif 3941-3949	If an object is an instance of WaterVehicle and a process is an instance of transportation and the object is an instrument for the process, then there exists another object such that the other object is an instance of water area and event located the process and the other object
(=> (and (instance ?R Reef) (instance ?B WaterVehicle)) (maritimeHazard ?R ?B))	Geography.kif 6781-6785	If a physical is an instance of Reef and an object is an instance of WaterVehicle, then maritimeHazard the physical and the object
(=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 WaterVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 RoadVehicle) (instance ?V2 Aircraft)))	Transportation.kif 3600-3614	If a TransitSystem is an instance of MultiModalTransitSystem and routeInSystem a Transitway and the TransitSystem and a motion is an instance of transportation and the Transitway is path along which the motion occurs and an object is an instance of WaterVehicle and the object is an instrument for the motion and another motion is an instance of transportation and the Transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of RailVehicle or the other object is an instance of RoadVehicle or the other object is an instance of Aircraft
(=> (and (instance ?S Shoal) (instance ?B WaterVehicle)) (maritimeHazard ?S ?B))	Geography.kif 6751-6755	If a physical is an instance of Shoal and an object is an instance of WaterVehicle, then maritimeHazard the physical and the object
(=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 WaterVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 WaterVehicle))	Transportation.kif 3537-3548	If a TransitSystem is an instance of UniModalTransitSystem and routeInSystem a Transitway and the TransitSystem and a motion is an instance of transportation and the Transitway is path along which the motion occurs and an object is an instance of WaterVehicle and the object is an instrument for the motion and another motion is an instance of transportation and the Transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of WaterVehicle
(=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway))	Transportation.kif 1823-1828	If an object is an instance of River and trafficableForTrafficType the object and a kind of self connected object and a kind of self connected object is a subclass of WaterVehicle, then the object is an instance of Waterway
(=> (and (navigableForShippingTonnage ?WATERWAY (MeasureFn ?TONNAGE LongTon)) (instance ?VESSEL WaterVehicle) (vesselDisplacement ?VESSEL (MeasureFn ?DWT LongTon)) (lessThanOrEqualTo ?DWT ?TONNAGE)) (capability (TripFn ?VESSEL) path ?WATERWAY))	Transportation.kif 3168-3174	If navigableForShippingTonnage a water area and a real number LongTon(s) and a WaterVehicle is an instance of WaterVehicle and vesselDisplacement the WaterVehicle and another real number LongTon(s) and the other real number is less than or equal to the real number, then the water area is capable of doing TripFn the WaterVehicle as a path
(=> (and (subclass ?TYPE WaterVehicle) (instance ?EVENT (TransportationFn ?TYPE)) (eventLocated ?EVENT ?PLACE)) (instance ?PLACE WaterArea))	Transportation.kif 2462-2467	If a kind of transportation device is a subclass of WaterVehicle and a process is an instance of TransportationFn a kind of transportation device and event located the process and an object, then the object is an instance of water area
(=> (and (transitwayThroughputCapacity ?LT ?TI ?I) (instance ?LT Waterway) (instance ?C Collection) (memberType ?C WaterVehicle) (memberCount ?C ?I2) (member ?V ?C) (instance ?T Transportation) (instrument ?T ?V) (during (WhenFn ?T) ?TI) (path ?T ?LT)) (greaterThanOrEqualTo ?I ?I2))	Transportation.kif 3930-3942	If transitwayThroughputCapacity a Transitway, a time interval and a nonnegative integer and the Transitway is an instance of Waterway and a collection is an instance of collection and memberType the collection and WaterVehicle and memberCount the collection and the nonnegative integer2 and an object is a member of the collection and a motion is an instance of transportation and the object is an instrument for the motion and the time of existence of the motion takes place during the time interval and the Transitway is path along which the motion occurs, then the nonnegative integer is greater than or equal to the nonnegative integer2
(=> (instance ?CRAFT WaterVehicle) (capability WaterTransportation instrument ?CRAFT))	Mid-level-ontology.kif 19289-19291	If an object is an instance of WaterVehicle, then the object is capable of doing WaterTransportation as a instrument
(=> (instance ?X WaterVehicle) (hasPurpose ?X (exists (?EV ?SURF) (and (instance ?SURF Water) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?SURF))))))	Mid-level-ontology.kif 3930-3939	If a physical is an instance of WaterVehicle, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of water and the entity is an instance of transportation and the physical meets the other entity holds during the time of existence of the entity

consequent

(=> (and (instance ?A Anchor) (instance ?ATTACH Attaching) (instrument ?ATTACH ?A) (patient ?ATTACH ?S)) (instance ?S WaterVehicle))	Mid-level-ontology.kif 4685-4691	If an object is an instance of Anchor and the objectTTACH is an instance of attaching and the object is an instrument for the objectTTACH and an entity is a patient of the objectTTACH, then the entity is an instance of WaterVehicle
(=> (and (instance ?ORG Organization) (attribute ?ORG WaterTransportationIndustry)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V ?OBJ) (and (instance ?T Transportation) (or (patient ?T ?P) (and (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?V) (instance ?V WaterVehicle))) ?MEM ?P))))))	naics.kif 8080-8105	If a collection is an instance of organization and WaterTransportationIndustry is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, another entity and a third entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of WaterVehicle
(=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 Aircraft) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 WaterVehicle) (instance ?V2 RoadVehicle)))	Transportation.kif 3616-3630	If a TransitSystem is an instance of MultiModalTransitSystem and routeInSystem a Transitway and the TransitSystem and a motion is an instance of transportation and the Transitway is path along which the motion occurs and an object is an instance of Aircraft and the object is an instrument for the motion and another motion is an instance of transportation and the Transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of RailVehicle or the other object is an instance of WaterVehicle or the other object is an instance of RoadVehicle
(=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RailVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RoadVehicle) (instance ?V2 WaterVehicle) (instance ?V2 Aircraft)))	Transportation.kif 3584-3598	If a TransitSystem is an instance of MultiModalTransitSystem and routeInSystem a Transitway and the TransitSystem and a motion is an instance of transportation and the Transitway is path along which the motion occurs and an object is an instance of RailVehicle and the object is an instrument for the motion and another motion is an instance of transportation and the Transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of RoadVehicle or the other object is an instance of WaterVehicle or the other object is an instance of Aircraft
(=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RoadVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 WaterVehicle) (instance ?V2 Aircraft)))	Transportation.kif 3568-3582	If a TransitSystem is an instance of MultiModalTransitSystem and routeInSystem a Transitway and the TransitSystem and a motion is an instance of transportation and the Transitway is path along which the motion occurs and an object is an instance of RoadVehicle and the object is an instrument for the motion and another motion is an instance of transportation and the Transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of RailVehicle or the other object is an instance of WaterVehicle or the other object is an instance of Aircraft
(=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 WaterVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 WaterVehicle))	Transportation.kif 3537-3548	If a TransitSystem is an instance of UniModalTransitSystem and routeInSystem a Transitway and the TransitSystem and a motion is an instance of transportation and the Transitway is path along which the motion occurs and an object is an instance of WaterVehicle and the object is an instrument for the motion and another motion is an instance of transportation and the Transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of WaterVehicle
(=> (instance ?D BoatDeck) (exists (?B) (and (instance ?B WaterVehicle) (part ?D ?B))))	Mid-level-ontology.kif 4697-4702	If an object is an instance of BoatDeck, then there exists another object such that the other object is an instance of WaterVehicle and the object is a part of the other object
(=> (instance ?M Mast) (exists (?W) (and (instance ?W WaterVehicle) (part ?M ?W))))	Mid-level-ontology.kif 1722-1727	If an object is an instance of Mast, then there exists another object such that the other object is an instance of WaterVehicle and the object is a part of the other object
(=> (instance ?OE OutboardEngine) (hasPurpose ?OE (exists (?W) (and (instance ?W WaterVehicle) (meetsSpatially ?OE ?W) (orientation ?OE ?W Outside)))))	Cars.kif 4411-4418	If a physical is an instance of OutboardEngine, then the physical has the purpose there exists an entity such that the entity is an instance of WaterVehicle and the physical meets the entity and the physical is Outside to the entity
(=> (instance ?S BoatSeat) (hasPurpose ?S (exists (?H ?T ?V) (and (instance ?H Human) (instance ?V WaterVehicle) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S) (located ?S ?V)))))))	Cars.kif 5123-5134	If a physical is an instance of BoatSeat, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the third entity is an instance of WaterVehicle and Sitting is an attribute of the entity and the entity is located at the physical and the physical is located at the third entity holds during the other entity
(=> (instance ?SERVICE WaterTransportationService) (exists (?WATER ?VEHICLE) (and (instance ?WATER WaterTransportation) (instance ?VEHICLE WaterVehicle) (instrument ?WATER ?VEHICLE) (subProcess ?WATER ?SERVICE))))	Transportation.kif 4525-4532	If a process is an instance of WaterTransportationService, then there exist another process and an object such that the other process is an instance of WaterTransportation and the object is an instance of WaterVehicle and the object is an instrument for the other process and the other process is a subprocess of the process
(=> (instance ?TRANSPORT WaterTransportation) (exists (?CRAFT ?AREA) (and (instance ?CRAFT WaterVehicle) (instance ?AREA WaterArea) (instrument ?TRANSPORT ?CRAFT) (eventLocated ?TRANSPORT ?AREA))))	Mid-level-ontology.kif 19280-19287	If a process is an instance of WaterTransportation, then there exist an object and another object such that the object is an instance of WaterVehicle and the other object is an instance of water area and the object is an instrument for the process and event located the process and the other object
(=> (instance ?X WaterSkiing) (exists (?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION) (and (instance ?BOAT WaterVehicle) (instance ?WATER WaterArea) (instance ?SKI WaterSki) (eventLocated ?X ?WATER) (instance ?HUMAN Human) (located ?HUMAN ?SKI) (connects ?LINE ?HUMAN ?BOAT) (instance ?TRANS Transportation) (instrument ?TRANS ?BOAT) (instance ?MOTION Motion) (agent ?MOTION ?HUMAN) (instrument ?MOTION ?SKI) (causes ?TRANS ?MOTION) (subProcess ?MOTION ?X))))	Sports.kif 1260-1277	If a process is an instance of WaterSkiing, then there exist an agent, an object,, , another object,, , a third object,, , a fourth object,, , another process and a third process such that the other object is an instance of WaterVehicle and the fourth object is an instance of water area and the object is an instance of WaterSki and event located the process and the fourth object and the agent is an instance of human and the agent is located at the object and the third object connects the agent and the other object and the other process is an instance of transportation and the other object is an instrument for the other process and the third process is an instance of motion and the agent is an agent of the third process and the object is an instrument for the third process and the other process causes the third process and the third process is a subprocess of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: