VerbNet: vehicle-51.4.1|boat, run-51.3.2|drift, roll-51.3.1|float, nonvehicle-51.4.2|sail,
| WaterTransportation
| | VerbNet: vehicle-51.4.1|boat, run-51.3.2|drift, roll-51.3.1|float, nonvehicle-51.4.2|sail, |
| appearance as argument number 1 |
|
|
| (documentation WaterTransportation EnglishLanguage "Any instance of Transportation where the instrument is a WaterVehicle.") | Mid-level-ontology.kif 15331-15332 | |
| (externalImage WaterTransportation "http://www.adampease.org/Articulate/ SUMOpictures/ pictures/ signs_symbol/ BW/ BW_4/ water_transportation.png") | pictureList.kif 833-833 | |
| (subclass WaterTransportation Transportation) | Mid-level-ontology.kif 15330-15330 |
| appearance as argument number 2 |
|
|
| (subAttribute DeepSeaCoastalAndGreatLakesWaterTransportation WaterTransportation) | naics.kif 8114-8114 | |
| (subAttribute InlandWaterTransportation WaterTransportation) | naics.kif 8150-8150 | |
| (subclass Rowing WaterTransportation) | Mid-level-ontology.kif 15347-15347 | |
| (termFormat ChineseLanguage WaterTransportation "水运") | domainEnglishFormat.kif 62431-62431 | |
| (termFormat ChineseTraditionalLanguage WaterTransportation "水運") | domainEnglishFormat.kif 62430-62430 | |
| (termFormat EnglishLanguage WaterTransportation "water transportation") | domainEnglishFormat.kif 62429-62429 |
| antecedent |
|
|
| (=> (instance ?TRANSPORT WaterTransportation) (exists (?CRAFT ?AREA) (and (instance ?CRAFT WaterVehicle) (instance ?AREA WaterArea) (instrument ?TRANSPORT ?CRAFT) (eventLocated ?TRANSPORT ?AREA)))) |
Mid-level-ontology.kif 15334-15341 |
| consequent |
|
|
| (=> (instance ?CRAFT WaterVehicle) (capability WaterTransportation instrument ?CRAFT)) |
Mid-level-ontology.kif 15343-15345 | |
| (=> (instance ?LAND LandingWaterLand) (exists (?REGION ?WATERTRANS) (and (instance ?REGION LandArea) (destination ?LAND ?REGION) (subProcess ?WATERTRANS ?LAND) (instance ?WATERTRANS WaterTransportation)))) |
MilitaryProcesses.kif 811-818 | |
| (=> (instance ?P Waterway) (hasPurpose ?P (and (instance ?T WaterTransportation) (path ?T ?P)))) |
Geography.kif 5260-5265 | |
| (=> (instance ?SERVICE WaterTransportationService) (exists (?WATER ?VEHICLE) (and (instance ?WATER WaterTransportation) (instance ?VEHICLE WaterVehicle) (instrument ?WATER ?VEHICLE) (subProcess ?WATER ?SERVICE)))) |
Transportation.kif 3354-3361 |
|
|
|