WaterVehicle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - WaterVehicle

WaterVehicle(water vehicle)

more pictures...

Bounty, Flying_Dutchman, H.M.S._Bounty, Kon_Tiki, Merrimac, Monitor, balsa_raft, bareboat, boat, canal_boat, carack, carrack, combat_ship, gig, ice_yacht, iceboat, junk, longboat, lugger, narrow_boat, narrowboat, privateer, racing_boat, racing_gig, racing_shell, racing_skiff, racing_yacht, river_boat, scooter, scull, sea_boat, sharpie, sharpshooter, shell, ship, shrimper, single_shell, steamer, steamship, submersible, surface_ship, surfboat, vessel, war_vessel, warship, water_cart, watercraft, whaler, whaling_ship, wherry...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3927-3928
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 391-391
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 383-383
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 546-546
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 386-386
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 389-389
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 382-382
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 390-390
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 385-385
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 381-381
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 384-384
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 388-388
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 545-545
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 392-392
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 544-544
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 393-393
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 387-387
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3926-3926	Water vehicle is a subclass of vehicle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2683-2683	Barge is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2693-2693	Canoe is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2472-2472	Displacement hull water vehicle is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2688-2688	Ferry boat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2687-2687	Fire boat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2614-2614	Fishing ship is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Sports.kif 213-213	Kayak is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Sports.kif 216-216	Keelboat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Military.kif 228-228	Military water vehicle is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2469-2469	Multihull water vehicle is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2699-2699	Personal watercraft is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2655-2655	Planing hull water vehicle is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2691-2691	Runabout is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2692-2692	Sailboat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19209-19209	Submarine is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2686-2686	Tug boat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62499-62499	Tug boat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62498-62498	Tug boat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62497-62497	Tug boat is a subclass of water vehicle

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4418-4418	The number 1 argument of ship crew is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1080-1080	The number 1 argument of flag state is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3207-3207	The number 1 argument of laden draft is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2728-2728	The number 1 argument of vessel dead weight tonnage is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2718-2718	The number 1 argument of vessel displacement is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2751-2751	The number 1 argument of vessel gross registered tonnage is an instance of water vehicle

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4991-4995	If a physical is an instance of iceberg and an object is an instance of water vehicle, then the physical is hazardous to the object.
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3941-3949	If an object is an instance of water vehicle 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 the process is located at the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6262-6266	If a physical is an instance of reef and an object is an instance of water vehicle, then the physical is hazardous to the object.
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3600-3614	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway 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 water vehicle 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 rail vehicle or the other object is an instance of road vehicle or the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6232-6236	If a physical is an instance of shoal and an object is an instance of water vehicle, then the physical is hazardous to the object.
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3537-3548	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway 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 water vehicle 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 water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1823-1828	If an object is an instance of river and a kind of self connected object is a trafficable for traffic type of the object and a kind of self connected object is a subclass of water vehicle, then the object is an instance of waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3168-3174	If a real number long ton(s) is a &avigableForShippingTonnage$"navigable" for shipping tonnage of a water area and a water vehicle is an instance of water vehicle and another real number long ton(s) is a vessel displacement of the water vehicle and the other real number is less than or equal to the real number, then the water area is capable of doing the trip of the water vehicle as a path
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2462-2467	If a kind of transportation device is a subclass of water vehicle and a process is an instance of the transportation of a kind of transportation device and the process is located at an object, then the object is an instance of water area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3933-3945	If a transitway can handle a nonnegative integer number of vehicles during a time interval and the transitway is an instance of waterway and a collection is an instance of collection and water vehicle is a member type of the collection and the nonnegative integer2 is a member count of the collection 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19303-19305	If an object is an instance of water vehicle, then the object is capable of doing water transportation as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3930-3939	If a physical is an instance of water vehicle, 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

No TPTP formula. May not be expressible in strict first order.	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 water vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	If a collection is an instance of organization and water transportation industry 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 water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3616-3630	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway 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 rail vehicle or the other object is an instance of water vehicle or the other object is an instance of road vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3584-3598	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway 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 rail vehicle 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 road vehicle or the other object is an instance of water vehicle or the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3568-3582	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway 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 road vehicle 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 rail vehicle or the other object is an instance of water vehicle or the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3537-3548	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway 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 water vehicle 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 water vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4697-4702	If an object is an instance of boat deck, then there exists another object such that the other object is an instance of water vehicle and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	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 water vehicle and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4411-4418	If a physical is an instance of outboard motor, then the physical has the purpose there exists an entity such that the entity is an instance of water vehicle and the physical meets the entity and the physical is outside to the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5123-5134	If a physical is an instance of boat seat, 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 water vehicle 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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4528-4535	If a process is an instance of Water Transportation Service, then there exist another process and an object such that the other process is an instance of water transportation and the object is an instance of water vehicle and the object is an instrument for the other process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19294-19301	If a process is an instance of water transportation, then there exist an object and another object such that the object is an instance of water vehicle and the other object is an instance of water area and the object is an instrument for the process and the process is located at the other object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1260-1277	If a process is an instance of water skiing, 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 water vehicle and the fourth object is an instance of water area and the object is an instance of water ski and the process is located at 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