WaterVehicle(water vehicle)![]() ![]() ![]() ![]() | ![]() | 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 3440-3441 | |
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 3439-3439 | Water vehicle is a subclass of vehicle |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2020-2020 | Amphibious vehicle is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2496-2496 | Barge is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2506-2506 | Canoe is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2304-2304 | Displacement hull water vehicle is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2501-2501 | Ferry boat is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2500-2500 | Fire boat is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2443-2443 | Fishing ship is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 166-166 | Kayak is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 169-169 | Keelboat is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Military.kif 151-151 | Military water vehicle is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2301-2301 | Multihull water vehicle is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2512-2512 | Personal watercraft is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2468-2468 | Planing hull water vehicle is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2504-2504 | Runabout is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2505-2505 | Sailboat is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17097-17097 | Submarine is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2499-2499 | Tug boat is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62472-62472 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62471-62471 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62470-62470 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3282-3282 | 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 2683-2683 | 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 2541-2541 | 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 2531-2531 | 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 2552-2552 | 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 4649-4653 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3454-3462 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5856-5860 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5826-5830 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1683-1688 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2644-2650 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2294-2299 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17168-17170 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3443-3452 |
|
consequent |
![]() |
![]() |
![]() |