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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4137-4143
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 4149-4154
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1464-1469
No TPTP formula. May not be expressible in strict first order. Cars.kif 4353-4360
No TPTP formula. May not be expressible in strict first order. Cars.kif 5065-5076
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3392-3399
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17159-17166
No TPTP formula. May not be expressible in strict first order. Sports.kif 1174-1191


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