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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterTransportation
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


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