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 15332-15333
(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 15331-15331 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 15348-15348 Rowing is a subclass of water transportation
(termFormat ChineseLanguage WaterTransportation "水运") domainEnglishFormat.kif 62374-62374
(termFormat ChineseTraditionalLanguage WaterTransportation "水運") domainEnglishFormat.kif 62373-62373
(termFormat EnglishLanguage WaterTransportation "water transportation") domainEnglishFormat.kif 62372-62372

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


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

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


(=>
    (instance ?CRAFT WaterVehicle)
    (capability WaterTransportation instrument ?CRAFT))
Mid-level-ontology.kif 15344-15346
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners