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

appearance as argument number 1
-------------------------


(documentation WaterTransportation EnglishLanguage "Any instance of Transportation where the instrument is a WaterVehicle.") Mid-level-ontology.kif 15359-15360
(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 15358-15358 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 15375-15375 Rowing is a subclass of water transportation
(termFormat ChineseLanguage WaterTransportation "水运") domainEnglishFormat.kif 62405-62405
(termFormat ChineseTraditionalLanguage WaterTransportation "水運") domainEnglishFormat.kif 62404-62404
(termFormat EnglishLanguage WaterTransportation "water transportation") domainEnglishFormat.kif 62403-62403

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


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

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


(=>
    (instance ?CRAFT WaterVehicle)
    (capability WaterTransportation instrument ?CRAFT))
Mid-level-ontology.kif 15371-15373
(=>
    (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 5274-5279
(=>
    (instance ?SERVICE WaterTransportationService)
    (exists (?WATER ?VEHICLE)
        (and
            (instance ?WATER WaterTransportation)
            (instance ?VEHICLE WaterVehicle)
            (instrument ?WATER ?VEHICLE)
            (subProcess ?WATER ?SERVICE))))
Transportation.kif 3363-3370
(=>
    (maritimeHazard ?A ?B)
    (exists (?SAIL ?WATER)
        (and
            (instance ?SAIL WaterTransportation)
            (instrument ?SAIL ?B)
            (eventLocated ?SAIL ?WATER)
            (located ?A ?WATER)
            (hazardous ?A ?B))))
Geography.kif 5587-5595


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