Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterTransportation
WaterTransportation(water transportation)
boat, drift, float, maiden_voyage, ocean_trip, passage, reship, sail, transit, tube, voyage

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 15357-15358
(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 15356-15356 Water transportation is a subclass of transportation

appearance as argument number 2
-------------------------


(subAttribute DeepSeaCoastalAndGreatLakesWaterTransportation WaterTransportation) naics.kif 8114-8114 Deep sea coastal and great lakes water transportation is a subattribute of water transportation
(subAttribute InlandWaterTransportation WaterTransportation) naics.kif 8150-8150 Inland water transportation is a subattribute of water transportation
(subclass Rowing WaterTransportation) Mid-level-ontology.kif 15373-15373 Rowing is a subclass of water transportation
(termFormat ChineseLanguage WaterTransportation "水运") domainEnglishFormat.kif 62395-62395
(termFormat ChineseTraditionalLanguage WaterTransportation "水運") domainEnglishFormat.kif 62394-62394
(termFormat EnglishLanguage WaterTransportation "water transportation") domainEnglishFormat.kif 62393-62393

antecedent
-------------------------


(=>
    (instance ?TRANSPORT WaterTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT WaterVehicle)
            (instance ?AREA WaterArea)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?AREA))))
Mid-level-ontology.kif 15360-15367

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


(=>
    (instance ?CRAFT WaterVehicle)
    (capability WaterTransportation instrument ?CRAFT))
Mid-level-ontology.kif 15369-15371
(=>
    (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 5259-5264
(=>
    (instance ?SERVICE WaterTransportationService)
    (exists (?WATER ?VEHICLE)
        (and
            (instance ?WATER WaterTransportation)
            (instance ?VEHICLE WaterVehicle)
            (instrument ?WATER ?VEHICLE)
            (subProcess ?WATER ?SERVICE))))
Transportation.kif 3363-3370


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