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 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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4685-4691
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. Transportation.kif 3616-3630
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3584-3598
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3568-3582
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. Mid-level-ontology.kif 4697-4702
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1722-1727
No TPTP formula. May not be expressible in strict first order. Cars.kif 4411-4418
No TPTP formula. May not be expressible in strict first order. Cars.kif 5123-5134
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4528-4535
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19294-19301
No TPTP formula. May not be expressible in strict first order. Sports.kif 1260-1277


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