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 4022-4023
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 384-384
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 547-547
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. pictureList-ImageNet.kif 390-390
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 391-391
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 382-382
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 389-389
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 393-393
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 394-394
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. Mid-level-ontology.kif 4021-4021 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 2468-2468 Barge is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2477-2477 Canoe is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2286-2286 Displacement hull water vehicle is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2473-2473 Ferry boat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2472-2472 Fire boat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2425-2425 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 2283-2283 Multihull water vehicle is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2483-2483 Personal watercraft is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2450-2450 Planing hull water vehicle is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2475-2475 Runabout is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2476-2476 Sailboat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15268-15268 Submarine is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2471-2471 Tug boat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62489-62489
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62488-62488
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62487-62487

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3253-3253 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 1069-1069 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 2654-2654 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 2512-2512 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 2502-2502 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 2523-2523 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 4542-4546
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4036-4044
No TPTP formula. May not be expressible in strict first order. Geography.kif 5739-5743
No TPTP formula. May not be expressible in strict first order. Geography.kif 5710-5714
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1668-1673
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2615-2621
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2276-2281
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15371-15373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4025-4034

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4717-4723
No TPTP formula. May not be expressible in strict first order. naics.kif 8087-8112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4729-4734
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1906-1911
No TPTP formula. May not be expressible in strict first order. Cars.kif 4366-4373
No TPTP formula. May not be expressible in strict first order. Cars.kif 5085-5096
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3363-3370
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15362-15369
No TPTP formula. May not be expressible in strict first order. Sports.kif 1098-1115


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