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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WorldOcean

Sigma KEE - WorldOcean
WorldOcean

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


(documentation WorldOcean EnglishLanguage "The WorldOcean is the collective mass of sea water that covers 70% of the surface of PlanetEarth, surrounding all of its dry land areas. Earth's individual Oceans are parts of the WorldOcean.") Geography.kif 4503-4506
(externalImage WorldOcean "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ World_ocean_map.gif") pictureList.kif 4952-4952
(instance WorldOcean BodyOfWater) Geography.kif 4499-4499 WorldOceanBodyOfWaterinstance では %n
(instance WorldOcean SaltWaterArea) Geography.kif 4498-4498 WorldOcean塩水地域instance では %n

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


(inScopeOfInterest InternationalHydrographicOrganization WorldOcean) Government.kif 3537-3537 InternationalHydrographicOrganizationWorldOceaninterested が %n
(names "the ocean" WorldOcean) Geography.kif 4501-4501 WorldOcean は "the ocean" の name を 持って %n{ない}
(names "world ocean" WorldOcean) Geography.kif 4500-4500 WorldOcean は "world ocean" の name を 持って %n{ない}
(termFormat ChineseLanguage WorldOcean "世界海洋") domainEnglishFormat.kif 63537-63537
(termFormat ChineseTraditionalLanguage WorldOcean "世界海洋") domainEnglishFormat.kif 63536-63536
(termFormat EnglishLanguage WorldOcean "world ocean") domainEnglishFormat.kif 63535-63535

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


(=>
    (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 ?AREA Continent)
    (meetsSpatially ?AREA WorldOcean))
Geography.kif 4508-4510
(=>
    (instance ?OCEAN Ocean)
    (properPart ?OCEAN WorldOcean))
Geography.kif 4530-4532
(=>
    (instance ?SEA Sea)
    (properPart ?SEA WorldOcean))
Geography.kif 4779-4781
(=>
    (instance ?WATER Estuary)
    (exists (?SEA)
        (and
            (instance ?SEA SaltWaterArea)
            (part ?SEA WorldOcean)
            (connected ?SEA ?WATER))))
Geography.kif 5187-5193


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