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 3484-3485
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 3483-3483 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 2489-2489 Barge is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2499-2499 Canoe is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2297-2297 Displacement hull water vehicle is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2494-2494 Ferry boat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2493-2493 Fire boat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2436-2436 Fishing ship is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Sports.kif 201-201 Kayak is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Sports.kif 204-204 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 2294-2294 Multihull water vehicle is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2505-2505 Personal watercraft is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2461-2461 Planing hull water vehicle is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2497-2497 Runabout is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2498-2498 Sailboat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17658-17658 Submarine is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2492-2492 Tug boat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62505-62505
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62504-62504
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62503-62503

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3275-3275 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 2676-2676 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 2534-2534 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 2524-2524 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 2545-2545 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 4751-4755
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3498-3506
No TPTP formula. May not be expressible in strict first order. Geography.kif 5959-5963
No TPTP formula. May not be expressible in strict first order. Geography.kif 5929-5933
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 2637-2643
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2287-2292
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17752-17754
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3487-3496

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4242-4248
No TPTP formula. May not be expressible in strict first order. naics.kif 8080-8105
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4254-4259
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1505-1510
No TPTP formula. May not be expressible in strict first order. Cars.kif 4350-4357
No TPTP formula. May not be expressible in strict first order. Cars.kif 5062-5073
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3385-3392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17743-17750
No TPTP formula. May not be expressible in strict first order. Sports.kif 1246-1263


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