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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 15332-15333
(externalImage WaterTransportation " SUMOpictures/ pictures/ signs_symbol/ BW/ BW_4/ water_transportation.png") pictureList.kif 833-833
(subclass WaterTransportation Transportation) Mid-level-ontology.kif 15331-15331

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 15348-15348
(termFormat ChineseLanguage WaterTransportation "水运") domainEnglishFormat.kif 62374-62374
(termFormat ChineseTraditionalLanguage WaterTransportation "水運") domainEnglishFormat.kif 62373-62373
(termFormat EnglishLanguage WaterTransportation "water transportation") domainEnglishFormat.kif 62372-62372


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


    (instance ?CRAFT WaterVehicle)
    (capability WaterTransportation instrument ?CRAFT))
Mid-level-ontology.kif 15344-15346
    (instance ?LAND LandingWaterLand)
    (exists (?REGION ?WATERTRANS)
            (instance ?REGION LandArea)
            (destination ?LAND ?REGION)
            (subProcess ?WATERTRANS ?LAND)
            (instance ?WATERTRANS WaterTransportation))))
MilitaryProcesses.kif 811-818
    (instance ?P Waterway)
    (hasPurpose ?P
            (instance ?T WaterTransportation)
            (path ?T ?P))))
Geography.kif 5259-5264
    (instance ?SERVICE WaterTransportationService)
    (exists (?WATER ?VEHICLE)
            (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