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 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 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3941-3949 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6262-6266 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3600-3614 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6232-6236 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3537-3548 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1823-1828 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3168-3174 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2462-2467 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3933-3945 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19303-19305 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3930-3939 |
|
consequent |
![]() |
![]() |
![]() |