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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterTransportation
WaterTransportation(水运)

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


(documentation WaterTransportation EnglishLanguage "Any instance of Transportation where the instrument is a WaterVehicle.") Mid-level-ontology.kif 17560-17561
(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 17559-17559 水运运输subclass

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


(subclass Rowing WaterTransportation) Mid-level-ontology.kif 17576-17576 划船水运subclass
(termFormat ChineseLanguage WaterTransportation "水运") domainEnglishFormat.kif 62457-62457
(termFormat ChineseTraditionalLanguage WaterTransportation "水運") domainEnglishFormat.kif 62456-62456
(termFormat EnglishLanguage WaterTransportation "water transportation") domainEnglishFormat.kif 62455-62455

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


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

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


(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y CoastalAndGreatLakesFreightTransportation))
    (exists (?FREIGHT ?SHIP ?WATER)
        (and
            (subProcess ?FREIGHT ?X)
            (instance ?FREIGHT WaterTransportation)
            (instrument ?FREIGHT ?SHIP)
            (instance ?SHIP CargoShip)
            (eventLocated ?FREIGHT ?WATER)
            (instance ?WATER WaterArea)
            (geographicSubregion ?WATER UnitedStates))))
naics.kif 8184-8197
(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y CoastalAndGreatLakesPassengerTransportation))
    (exists (?CRUISE ?SHIP ?WATER)
        (and
            (subProcess ?CRUISE ?X)
            (instance ?CRUISE WaterTransportation)
            (instrument ?CRUISE ?SHIP)
            (instance ?SHIP PassengerShip)
            (eventLocated ?CRUISE ?WATER)
            (instance ?WATER WaterArea)
            (geographicSubregion ?WATER UnitedStates)
            (not
                (exists (?FERRY)
                    (and
                        (instance ?FERRY ShortSeaPassengerShip)
                        (equal ?SHIP ?FERRY)))))))
naics.kif 8207-8225
(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y DeepSeaFreightTransportation))
    (exists (?FREIGHT ?SHIP)
        (and
            (subProcess ?FREIGHT ?X)
            (instance ?FREIGHT WaterTransportation)
            (instrument ?FREIGHT ?SHIP)
            (instance ?SHIP CargoShip)
            (eventLocated ?FREIGHT WorldOcean))))
naics.kif 8139-8150
(=>
    (and
        (instance ?X WaterTransportationService)
        (serviceProvider ?X ?Y)
        (attribute ?Y DeepSeaPassengerTransportation))
    (exists (?CRUISE ?SHIP)
        (and
            (subProcess ?CRUISE ?X)
            (instance ?CRUISE WaterTransportation)
            (instrument ?CRUISE ?SHIP)
            (instance ?SHIP PassengerShip)
            (eventLocated ?CRUISE WorldOcean)
            (not
                (exists (?FERRY)
                    (and
                        (instance ?FERRY ShortSeaPassengerShip)
                        (equal ?SHIP ?FERRY)))))))
naics.kif 8159-8175
(=>
    (instance ?CRAFT WaterVehicle)
    (capability WaterTransportation instrument ?CRAFT))
Mid-level-ontology.kif 17572-17574
(=>
    (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 5491-5496
(=>
    (instance ?SERVICE WaterTransportationService)
    (exists (?WATER ?VEHICLE)
        (and
            (instance ?WATER WaterTransportation)
            (instance ?VEHICLE WaterVehicle)
            (instrument ?WATER ?VEHICLE)
            (subProcess ?WATER ?SERVICE))))
Transportation.kif 3385-3392
(=>
    (maritimeHazard ?A ?B)
    (exists (?SAIL ?WATER)
        (and
            (instance ?SAIL WaterTransportation)
            (instrument ?SAIL ?B)
            (eventLocated ?SAIL ?WATER)
            (located ?A ?WATER)
            (hazardous ?A ?B))))
Geography.kif 5805-5813


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