]> 2008/06/10 OpenCyc Knowledge Base Copyright© 2001-2008 Cycorp, Inc., http://www.cyc.com/, Austin, TX, USA This file contains an OWL representation of information contained in the OpenCyc Knowledge Base. The content of this OWL file is licensed under the Creative Commons Attribution 3.0 license whose text can be found at http://creativecommons.org/licenses/by/3.0/legalcode. The content of this OWL file, including the OpenCyc content it represents, constitutes the "Work" referred to in the Creative Commons license. The terms of this license equally apply to, without limitation, renamings and other logically equivalent reformulations of the content of this OWL file (or portions thereof) in any natural or formal language, as well as to derivations of this content or inclusion of it in other ontologies. externalID A unique, language-neutral, variable-sized identifier for a concept that can be used to refer unambiguously to that concept across OWL exports or across Cyc inference engines. label A natural-language representation for a concept that is both human readable and readable by the Cyc inference engine. These terms are not guaranteed to refer to the same concept across time but are guaranteed to be consistent within a particular OWL export. Use 'cycAnnot:externalID' for unambiguously referring to a concept across OWL exports or across Cyc inference engines. WaterTransportationDeviceTypeByDesign A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rDbPRdnTNEdaAAAABAxv-7A" class="cyc_term">WaterTransportationDeviceTypeByDesign</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjGhZwpEbGdrcN5Y29ycA" class="cyc_term">WaterTransportationDevice</a> which share a certain distinctive design. Notable instances of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViMW5wpEbGdrcN5Y29ycA" class="cyc_term">Submarine</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEYsJwpEbGdrcN5Y29ycA" class="cyc_term">Rowboat</a>. type of watercraft types of watercraft dreadnought A 20th century battleship Dreadnought A large, fast, multi-masted sailing ship which dominated the seas during the age of discovery and colonialization. clipper ClipperShip SquareRigger square rigger The collection of all square riggers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCSj5wpEbGdrcN5Y29ycA" class="cyc_term">TallShip</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCVUpwpEbGdrcN5Y29ycA" class="cyc_term">SquareRigger</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rDbPRdnTNEdaAAAABAxv-7A" class="cyc_term">WaterTransportationDeviceTypeByDesign</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. The collection of ships that are sailing vessels. SailingShip sailing ship Cutter-SailingVessel A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rK9SXFirdEdqAAAACs71DGQ" class="cyc_term">SailingVessel</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpniTJwpEbGdrcN5Y29ycA" class="cyc_term">Watercraft_Surface</a>. A cutter is distinguished by having two headsails. cutter tanker ship A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCRkZwpEbGdrcN5Y29ycA" class="cyc_term">CargoShip</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCPwpwpEbGdrcN5Y29ycA" class="cyc_term">TankerShip</a> is a ship that by design can transport large amounts of liquid or gas materials. TankerShip sloop The collection of all sailing watercraft that have a single mast (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgESg5wpEbGdrcN5Y29ycA" class="cyc_term">Mast_Device</a>) and two main sails, one connected at the mast and bow (front) of the boat, the other connected at the mast and aft (back) of the boat. Sloop TallShip tall ship Type of ship predominant until the late 19th Century, wooden-hulled and tall-masted, and powered by wind pushing against their sails. commercial fishing boat A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpniTJwpEbGdrcN5Y29ycA" class="cyc_term">Watercraft_Surface</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgWe-5wpEbGdrcN5Y29ycA" class="cyc_term">CommercialFishingBoat</a> is a watercraft designed to be used in catching fish or other water-dwelling life for some commercial purpose. Some instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgWe-5wpEbGdrcN5Y29ycA" class="cyc_term">CommercialFishingBoat</a> are ocean-going craft, while others are used in rivers and lakes. CommercialFishingBoat A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjGhZwpEbGdrcN5Y29ycA" class="cyc_term">WaterTransportationDevice</a>. Each instance of this collection is a device for transporting people and/or objects over water (i.e. on the surface) or through water (i.e. under the surface) without getting them wet. Positive examples include all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViMW5wpEbGdrcN5Y29ycA" class="cyc_term">Submarine</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEYsJwpEbGdrcN5Y29ycA" class="cyc_term">Rowboat</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirIJwpEbGdrcN5Y29ycA" class="cyc_term">Ship</a>. Negative examples include jet-skis and all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjfn5wpEbGdrcN5Y29ycA" class="cyc_term">Surfboard</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKz5wpEbGdrcN5Y29ycA" class="cyc_term">Sailboard</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rDbPRdnTNEdaAAAABAxv-7A" class="cyc_term">WaterTransportationDeviceTypeByDesign</a>. watercraft Watercraft CigaretteBoat A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv_Eefiu0EdqAAAACs71DGQ" class="cyc_term">Speedboat</a>. Instances are characterized by long, sleek hulls. cigarette boat houseboat HouseBoat A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpniTJwpEbGdrcN5Y29ycA" class="cyc_term">Watercraft_Surface</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjmiZwpEbGdrcN5Y29ycA" class="cyc_term">HumanResidence</a>. Each instance of this collection is a boat constructed with rooms so that it resembles a floating house. Note that boats large enough to resemble floating hotels rather than houses fall into other collections such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCIw5wpEbGdrcN5Y29ycA" class="cyc_term">OceanLiner</a>. Kayak kayak The collection of kayaks. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirIJwpEbGdrcN5Y29ycA" class="cyc_term">Ship</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjTcpwpEbGdrcN5Y29ycA" class="cyc_term">HumanlyOccupiedSpatialObject</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViUcpwpEbGdrcN5Y29ycA" class="cyc_term">PoweredDevice</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpniTJwpEbGdrcN5Y29ycA" class="cyc_term">Watercraft_Surface</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirIJwpEbGdrcN5Y29ycA" class="cyc_term">Ship</a> is a typically large and ocean-going vessel. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirIJwpEbGdrcN5Y29ycA" class="cyc_term">Ship</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjw85wpEbGdrcN5Y29ycA" class="cyc_term">ModernNavalShip</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCRkZwpEbGdrcN5Y29ycA" class="cyc_term">CargoShip</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCIw5wpEbGdrcN5Y29ycA" class="cyc_term">OceanLiner</a>. ship Ship Barge A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv68PXpwpEbGdrcN5Y29ycA" class="cyc_term">Barge</a> is a flat, usually rectangular <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjGhZwpEbGdrcN5Y29ycA" class="cyc_term">WaterTransportationDevice</a>. It usually is not self-powered but is towed or pushed by a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi-55wpEbGdrcN5Y29ycA" class="cyc_term">Watercraft</a>. Barges often tranport cargo, but it is not unlikely that some barges transport passengers. barge A large boat usually used on rivers which has a large paddle wheel at the back to push it forward. RiverBoat river boat cargo ship CargoShip <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCRkZwpEbGdrcN5Y29ycA" class="cyc_term">CargoShip</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirIJwpEbGdrcN5Y29ycA" class="cyc_term">Ship</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCRkZwpEbGdrcN5Y29ycA" class="cyc_term">CargoShip</a> is a ship that is designed to transport a large amount of goods. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCPwpwpEbGdrcN5Y29ycA" class="cyc_term">TankerShip</a>. Surfboard surfboard The collection of all surfboards. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjMpwpEbGdrcN5Y29ycA" class="cyc_term">SportsEquipment</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvf-bUJwpEbGdrcN5Y29ycA" class="cyc_term">ManufacturedGoods</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIPuOJwpEbGdrcN5Y29ycA" class="cyc_term">Device_UserControlled</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCTzpwpEbGdrcN5Y29ycA" class="cyc_term">Device_SingleUser</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjGhZwpEbGdrcN5Y29ycA" class="cyc_term">WaterTransportationDevice</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViUL5wpEbGdrcN5Y29ycA" class="cyc_term">KineticEnergyPoweredDevice</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjfn5wpEbGdrcN5Y29ycA" class="cyc_term">Surfboard</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rDbPRdnTNEdaAAAABAxv-7A" class="cyc_term">WaterTransportationDeviceTypeByDesign</a>, a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>, and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-mZoMnYQdeTy5d-IY_eBg" class="cyc_term">ManufacturedGoodsType</a>. pedal boat A small boat with a paddle wheel that is turned by pedaling. Also called a 'paddle boat'. For large paddle wheel boats, see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzeI5wpEbGdrcN5Y29ycA" class="cyc_term">RiverBoat</a>. PedalBoat tugboat The collection of all tugboats, which are boats used to tow or push other boats. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjXLZwpEbGdrcN5Y29ycA" class="cyc_term">Motorboat</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIDj6hi6jEdqAAAACs71DGQ" class="cyc_term">Boat</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCbHpwpEbGdrcN5Y29ycA" class="cyc_term">Tugboat</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rDbPRdnTNEdaAAAABAxv-7A" class="cyc_term">WaterTransportationDeviceTypeByDesign</a>, a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>, and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rUXif1ITNQdeN6IdmOBW9XA" class="cyc_term">VehicleTypeByIntendedUse</a>. Tugboat dhow Dhow ferry <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCasJwpEbGdrcN5Y29ycA" class="cyc_term">Ferry</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirIJwpEbGdrcN5Y29ycA" class="cyc_term">Ship</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwAPux5wpEbGdrcN5Y29ycA" class="cyc_term">PublicTransportationDevice</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCasJwpEbGdrcN5Y29ycA" class="cyc_term">Ferry</a> is a ferryboat, i.e., boats that are used to carry people, goods or vehicles across rivers, lakes, canals or channels etc. or even from one side of a harbor to another, but normally not used to cross oceans. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCasJwpEbGdrcN5Y29ycA" class="cyc_term">Ferry</a> is disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCIw5wpEbGdrcN5Y29ycA" class="cyc_term">OceanLiner</a>. Ferry A lightweight, narrow-beamed boat designed for competitive racing by crews of one or more persons rowing (and, in larger crews, a coxswain steering). RowingShell rowing shell The boat in which you perform the sport of Rowing. scull Scull Gondola-Boat A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIDj6hi6jEdqAAAACs71DGQ" class="cyc_term">Boat</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViU95wpEbGdrcN5Y29ycA" class="cyc_term">Device_UserPowered</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzLs-JwpEbGdrcN5Y29ycA" class="cyc_term">Watercraft_Small</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rdM08kPHMEduAAAACs6hRXg" class="cyc_term">Gondola_Boat</a> is a small boat powered by a single oar designed to be pushed by a person. gondola The subcollection of Ship that contains all trawlers, i.e., ships that drag large nets along the sea bottom in gathering fish or other marine lives. trawl Trawler oar-propelled watercraft The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpniTJwpEbGdrcN5Y29ycA" class="cyc_term">Watercraft_Surface</a> that are propelled by (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTNXq8C7PEdqAAAACs71DGQ" class="cyc_term">movementsPowered</a>) instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjvYZwpEbGdrcN5Y29ycA" class="cyc_term">Rowing</a>. OarPropelledWatercraft InflatableBoat inflatable boat <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCc4pwpEbGdrcN5Y29ycA" class="cyc_term">InflatableBoat</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzLs-JwpEbGdrcN5Y29ycA" class="cyc_term">Watercraft_Small</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCc4pwpEbGdrcN5Y29ycA" class="cyc_term">InflatableBoat</a> is composed of some fabric or membrane, which is inflated with air to give it buoyancy on water. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCIw5wpEbGdrcN5Y29ycA" class="cyc_term">OceanLiner</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwAPux5wpEbGdrcN5Y29ycA" class="cyc_term">PublicTransportationDevice</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirIJwpEbGdrcN5Y29ycA" class="cyc_term">Ship</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCIw5wpEbGdrcN5Y29ycA" class="cyc_term">OceanLiner</a> is a ship that is designed to comfortably transport a large number of people across an ocean . OceanLiner ocean liner submarine Submarine <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViMW5wpEbGdrcN5Y29ycA" class="cyc_term">Submarine</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv3uLA5wpEbGdrcN5Y29ycA" class="cyc_term">Watercraft_Subsurface</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPu1fpwpEbGdrcN5Y29ycA" class="cyc_term">Container_PressureBarrier</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjw85wpEbGdrcN5Y29ycA" class="cyc_term">ModernNavalShip</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViMW5wpEbGdrcN5Y29ycA" class="cyc_term">Submarine</a> is a pressurized vessel designed to travel underwater. Galleon galleon The collection of all galleons. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCVUpwpEbGdrcN5Y29ycA" class="cyc_term">SquareRigger</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCVf5wpEbGdrcN5Y29ycA" class="cyc_term">Galleon</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rDbPRdnTNEdaAAAABAxv-7A" class="cyc_term">WaterTransportationDeviceTypeByDesign</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. Raft raft A small flat kind of boat. Rubber rafts and flat wooden rafts are the most common. LPGTankerShip The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCPwpwpEbGdrcN5Y29ycA" class="cyc_term">TankerShip</a> dedicated to transport of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rnnqtffJ1R86IKbw7m1Z-kg" class="cyc_term">LiquifiedPetroleumGas</a>. LPG tanker ship A very fast ancient vessel with three banks of oars. The keystone of Athenian naval power. AthenianTrireme trireme The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirIJwpEbGdrcN5Y29ycA" class="cyc_term">Ship</a> that are propelled using oars. galley Galley canoe Canoe <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirSZwpEbGdrcN5Y29ycA" class="cyc_term">Canoe</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzLs-JwpEbGdrcN5Y29ycA" class="cyc_term">Watercraft_Small</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViU95wpEbGdrcN5Y29ycA" class="cyc_term">Device_UserPowered</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirSZwpEbGdrcN5Y29ycA" class="cyc_term">Canoe</a> is a small and narrow watercraft powered by human paddling, poling, or by a small boat-engine. sailboat Sailboat Boats powered mainly by lift or push from wind passing over or into their sails. rowboat Rowboat <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEYsJwpEbGdrcN5Y29ycA" class="cyc_term">Rowboat</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpniTJwpEbGdrcN5Y29ycA" class="cyc_term">Watercraft_Surface</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViU95wpEbGdrcN5Y29ycA" class="cyc_term">Device_UserPowered</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEYsJwpEbGdrcN5Y29ycA" class="cyc_term">Rowboat</a> is a boat which is usually powered by one or more persons' rowing (generally using <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVidW5wpEbGdrcN5Y29ycA" class="cyc_term">Oar</a>s). JonBoat jon boat small one or two-person rowboat. Dinghy dinghy The collection of all schooners. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCSj5wpEbGdrcN5Y29ycA" class="cyc_term">TallShip</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCU15wpEbGdrcN5Y29ycA" class="cyc_term">Schooner</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rDbPRdnTNEdaAAAABAxv-7A" class="cyc_term">WaterTransportationDeviceTypeByDesign</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. schooner Schooner A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rDbPRdnTNEdaAAAABAxv-7A" class="cyc_term">WaterTransportationDeviceTypeByDesign</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj_LZwpEbGdrcN5Y29ycA" class="cyc_term">WindPoweredDevice</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIPuOJwpEbGdrcN5Y29ycA" class="cyc_term">Device_UserControlled</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKz5wpEbGdrcN5Y29ycA" class="cyc_term">Sailboard</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjGhZwpEbGdrcN5Y29ycA" class="cyc_term">WaterTransportationDevice</a> which consists of a modified <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjfn5wpEbGdrcN5Y29ycA" class="cyc_term">Surfboard</a> with a small <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgESHJwpEbGdrcN5Y29ycA" class="cyc_term">Sail_Device</a> mounted on it. windsurfer Sailboard ArmoredAmphibiousTractor The class of tractors used by expeditionary forces that are equipped with armor to make the battle-suitable and are amphibious as well to facilitate their operation in unfavorable terrain. armored amphibious tractor bodyboard Bodyboard The collection of all bodyboards. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjMpwpEbGdrcN5Y29ycA" class="cyc_term">SportsEquipment</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIPuOJwpEbGdrcN5Y29ycA" class="cyc_term">Device_UserControlled</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCTzpwpEbGdrcN5Y29ycA" class="cyc_term">Device_SingleUser</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjGhZwpEbGdrcN5Y29ycA" class="cyc_term">WaterTransportationDevice</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViUL5wpEbGdrcN5Y29ycA" class="cyc_term">KineticEnergyPoweredDevice</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwAM5wZwpEbGdrcN5Y29ycA" class="cyc_term">Bodyboard</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rDbPRdnTNEdaAAAABAxv-7A" class="cyc_term">WaterTransportationDeviceTypeByDesign</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. speedboat The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjXLZwpEbGdrcN5Y29ycA" class="cyc_term">Motorboat</a> that are designed to travel very fast across the water. Speedboat WaterTransportationDeviceTypeByDesign A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rDbPRdnTNEdaAAAABAxv-7A" class="cyc_term">WaterTransportationDeviceTypeByDesign</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjGhZwpEbGdrcN5Y29ycA" class="cyc_term">WaterTransportationDevice</a> which share a certain distinctive design. Notable instances of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViMW5wpEbGdrcN5Y29ycA" class="cyc_term">Submarine</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEYsJwpEbGdrcN5Y29ycA" class="cyc_term">Rowboat</a>. type of watercraft A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a> of collections of collections (and thus an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviPYH5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionTypeType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>). A sibling-disjoint collection type is such that its known (i.e. KB-represented) instances are collections that -- save for any that are related to each other by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> and any that are explicitly asserted to be exceptions (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a>) -- are disjoint from each other. <p/> More precisely, each instance <code><b>SIB</b></code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a> is a collection of collections that has the following KB-dependent property: <p/> For any two known instances <code><b>COL1</b></code> and <code><b>COL2</b></code> of <code><b>SIB</b></code>, at least one of the following is known to hold: <pre> (a) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL1</b> <b>COL2</b>) (b) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL2</b> <b>COL1</b>) (c) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> <b>COL1</b> <b>COL2</b>) (d) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a> <b>COL1</b> <b>COL2</b>) </pre> Moreover, note that if <code><b>MT</b></code> is a context (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA1ZwpEbGdrcN5Y29ycA" class="cyc_term">Microtheory</a>) in which (i) both <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>COL1</b> <b>SIB</b>)</code> and <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>COL2</b> <b>SIB</b>)</code> hold and (ii) neither <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL1</b> <b>COL2</b>)</code> nor <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL2</b> <b>COL1</b>)</code> nor <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> <b>COL1</b> <b>COL2</b>)</code> is known to hold (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP-JvpwpEbGdrcN5Y29ycA" class="cyc_term">knownSentence</a>), then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a> <b>COL1</b> <b>COL2</b>)</code> holds by default in <code><b>MT</b></code>. <p/> For example, in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjakJwpEbGdrcN5Y29ycA" class="cyc_term">BiologyMt</a> both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> are instances of the sibling-disjoint collection type <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjK65wpEbGdrcN5Y29ycA" class="cyc_term">BiologicalSpecies</a>, while neither (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>) nor (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>) nor (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>) is known to hold in that context; consequently, (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>) holds by default in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjakJwpEbGdrcN5Y29ycA" class="cyc_term">BiologyMt</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVji6JwpEbGdrcN5Y29ycA" class="cyc_term">BiologicalTaxon</a> (and its specializations), <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKTnSJwpEbGdrcN5Y29ycA" class="cyc_term">OrganismPartType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwE01SZwpEbGdrcN5Y29ycA" class="cyc_term">RelationshipTypeByArity</a>. <p/> See the generalization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rk8dxOFcGEdaLwgACs0uFOQ" class="cyc_term">SiblingDisjointSetOrCollectionType</a>. Also cf. the stronger notion of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWPoRpwpEbGdrcN5Y29ycA" class="cyc_term">DisjointCollectionType</a>. sibling disjoint collection type SiblingDisjointCollectionType The collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>, that is, of all collections of (first-order) collections, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHUFI8h_TEdaAAABQ2rksLw" class="cyc_term">ThirdOrderCollection</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s. Any instance of any instance of any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. SecondOrderCollection second-order Cyc collection WaterTransportationDeviceTypeByDesign A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rDbPRdnTNEdaAAAABAxv-7A" class="cyc_term">WaterTransportationDeviceTypeByDesign</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjGhZwpEbGdrcN5Y29ycA" class="cyc_term">WaterTransportationDevice</a> which share a certain distinctive design. Notable instances of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViMW5wpEbGdrcN5Y29ycA" class="cyc_term">Submarine</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEYsJwpEbGdrcN5Y29ycA" class="cyc_term">Rowboat</a>. type of watercraft Pretty String (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use. prettyString kind of artifact not distinguished by brand or model An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwO3H5pwpEbGdrcN5Y29ycA" class="cyc_term">ArtifactType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rejmDbrF_QdeIENT1qpbYzQ" class="cyc_term">ArtifactTypeByGenericCategory</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkH_ZwpEbGdrcN5Y29ycA" class="cyc_term">Artifact</a>s grouped together according to some feature(s) other than brand or model. ArtifactTypeByGenericCategory A collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>s. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> is a collection-type that &quot;facets&quot; -- i.e. stands in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjldVJwpEbGdrcN5Y29ycA" class="cyc_term">facets_Generic</a> (q.v.) relation to -- another collection. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByBrand</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rANFO8Ec-EdaEKABQ2sS97g" class="cyc_term">MusicTypeByGenre</a>, which facet <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOJpwpEbGdrcN5Y29ycA" class="cyc_term">Music</a>, respectively. faceting collection type FacetingCollectionType type of vehicle TransportationDeviceType An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKkZwpEbGdrcN5Y29ycA" class="cyc_term">ProductType</a>. Instances are specs of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVQJwpEbGdrcN5Y29ycA" class="cyc_term">TransportationDevice</a>, the main function of which is to play the purpose of a vehicle, i.e., to play the role of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViog5wpEbGdrcN5Y29ycA" class="cyc_term">vehicle</a> in transportation events. FacetInstanceCollection facet collection A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv1fLiZwpEbGdrcN5Y29ycA" class="cyc_term">FacetInstanceCollection</a> is a collection that is an instance of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> (q.v.). For example, the facet-instance-collection (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBVDJsPLMQdiZD5jLVkyKUw" class="cyc_term">WineOfVintageFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 1926)) is an instance of the faceting-collection-type <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rWdpZhPLLQdiKEtsuZMndzQ" class="cyc_term">WineTypeByVintage</a>.