TreeView Knowledge Base Browser - WaterTransportation

appearance as argument number 1

(documentation WaterTransportation EnglishLanguage "Any instance of Transportation where the instrument is a WaterVehicle.")	Mid-level-ontology.kif 17767-17768
(externalImage WaterTransportation "http://articulatesoftware.com/SUMOpictures/ signs_symbol/ BW/ BW_4/ water_transportation.png")	pictureList.kif 833-833
(subclass WaterTransportation Transportation)	Mid-level-ontology.kif 17766-17766	WaterTransportation e' uma sub-classe de Transporte

appearance as argument number 2

(subclass Rowing WaterTransportation)	Mid-level-ontology.kif 17783-17783	Rowing e' uma sub-classe de WaterTransportation
(subclass Shipping WaterTransportation)	Mid-level-ontology.kif 7720-7720	Shipping e' uma sub-classe de WaterTransportation
(termFormat ChineseLanguage WaterTransportation "水运")	domainEnglishFormat.kif 62489-62489
(termFormat ChineseTraditionalLanguage WaterTransportation "水運")	domainEnglishFormat.kif 62488-62488
(termFormat EnglishLanguage WaterTransportation "water transportation")	domainEnglishFormat.kif 62487-62487

antecedent

(=>
    (instance ?TRANSPORT WaterTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT WaterVehicle)
            (instance ?AREA WaterArea)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?AREA))))

Mid-level-ontology.kif 17770-17777

Processo e' uma instancia de WaterTransportation
Objeto Objeto Objeto e' uma instancia de WaterVehicle Objeto e' uma instancia de Area Aquatica Objeto e' um instrumento para Processo eventLocated Processo and Objeto

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	ServiceProcess e' uma instancia de WaterTransportationService serviceProvider ServiceProcess and Agente Cognitivo CoastalAndGreatLakesFreightTransportation e' um atributo de Agente Cognitivo Processo Objeto and Area Geografica Processo e' um sub-processo de ServiceProcess Processo e' uma instancia de WaterTransportation Objeto e' um instrumento para Processo Objeto e' uma instancia de CargoShip eventLocated Processo and Area Geografica Area Geografica e' uma instancia de Area Aquatica geographicSubregion Area Geografica and UnitedStates
(=> (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	ServiceProcess e' uma instancia de WaterTransportationService serviceProvider ServiceProcess and Agente Cognitivo CoastalAndGreatLakesPassengerTransportation e' um atributo de Agente Cognitivo Processo Objeto and Area Geografica Processo e' um sub-processo de ServiceProcess Processo e' uma instancia de WaterTransportation Objeto e' um instrumento para Processo Objeto e' uma instancia de PassengerShip eventLocated Processo and Area Geografica Area Geografica e' uma instancia de Area Aquatica geographicSubregion Area Geografica and UnitedStates Entidade Entidade e' uma instancia de ShortSeaPassengerShip Objeto e' igual a Entidade
(=> (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	ServiceProcess e' uma instancia de WaterTransportationService serviceProvider ServiceProcess and Agente Cognitivo DeepSeaFreightTransportation e' um atributo de Agente Cognitivo Processo Objeto Processo e' um sub-processo de ServiceProcess Processo e' uma instancia de WaterTransportation Objeto e' um instrumento para Processo Objeto e' uma instancia de CargoShip eventLocated Processo and WorldOcean
(=> (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	ServiceProcess e' uma instancia de WaterTransportationService serviceProvider ServiceProcess and Agente Cognitivo DeepSeaPassengerTransportation e' um atributo de Agente Cognitivo Processo Objeto Processo e' um sub-processo de ServiceProcess Processo e' uma instancia de WaterTransportation Objeto e' um instrumento para Processo Objeto e' uma instancia de PassengerShip eventLocated Processo and WorldOcean Entidade Entidade e' uma instancia de ShortSeaPassengerShip Objeto e' igual a Entidade
(=> (instance ?CRAFT WaterVehicle) (capability WaterTransportation instrument ?CRAFT))	Mid-level-ontology.kif 17779-17781	Objeto e' uma instancia de WaterVehicle Objeto e' capaz de fazer WaterTransportation no role instrument
(=> (instance ?LAND LandingWaterLand) (exists (?REGION ?WATERTRANS) (and (instance ?REGION LandArea) (destination ?LAND ?REGION) (subProcess ?WATERTRANS ?LAND) (instance ?WATERTRANS WaterTransportation))))	MilitaryProcesses.kif 811-818	Processo e' uma instancia de LandingWaterLand Entidade Processo Entidade e' uma instancia de Area terrestre Processo termina em Entidade Processo e' um sub-processo de Processo Processo e' uma instancia de WaterTransportation
(=> (instance ?P Waterway) (hasPurpose ?P (exists (?T) (and (instance ?T WaterTransportation) (path ?T ?P)))))	Geography.kif 5582-5588	Fisico e' uma instancia de Waterway Fisico tem por fim Entidade Entidade e' uma instancia de WaterTransportation Fisico e' o caminho ao longo do qual Entidade ocorre
(=> (instance ?SERVICE WaterTransportationService) (exists (?WATER ?VEHICLE) (and (instance ?WATER WaterTransportation) (instance ?VEHICLE WaterVehicle) (instrument ?WATER ?VEHICLE) (subProcess ?WATER ?SERVICE))))	Transportation.kif 3437-3444	Processo e' uma instancia de WaterTransportationService Processo Objeto Processo e' uma instancia de WaterTransportation Objeto e' uma instancia de WaterVehicle Objeto e' um instrumento para Processo Processo e' um sub-processo de Processo
(=> (maritimeHazard ?A ?B) (exists (?SAIL ?WATER) (and (instance ?SAIL WaterTransportation) (instrument ?SAIL ?B) (eventLocated ?SAIL ?WATER) (located ?A ?WATER) (hazardous ?A ?B))))	Geography.kif 5897-5905	maritimeHazard Fisico and Objeto Processo Objeto Processo e' uma instancia de WaterTransportation Objeto e' um instrumento para Processo eventLocated Processo and Objeto Fisico e' situado em Objeto hazardous Fisico and Objeto

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: