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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WorldOcean
WorldOcean(world ocean)
seven_seas

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 4318-4321
(externalImage WorldOcean "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ World_ocean_map.gif") pictureList.kif 4953-4953
(instance WorldOcean BodyOfWater) Geography.kif 4314-4314 World ocean is an instance of body of water
(instance WorldOcean SaltWaterArea) Geography.kif 4313-4313 World ocean is an instance of salt water area

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


(inScopeOfInterest InternationalHydrographicOrganization WorldOcean) Government.kif 3513-3513 International hydrographic organization is interested in world ocean
(names "the ocean" WorldOcean) Geography.kif 4316-4316 World ocean has name "the ocean"
(names "world ocean" WorldOcean) Geography.kif 4315-4315 World ocean has name "world ocean"
(termFormat ChineseLanguage WorldOcean "世界海洋") domainEnglishFormat.kif 63510-63510
(termFormat ChineseTraditionalLanguage WorldOcean "世界海洋") domainEnglishFormat.kif 63509-63509
(termFormat EnglishLanguage WorldOcean "world ocean") domainEnglishFormat.kif 63508-63508

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 8146-8157
(=>
    (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 8166-8182
(=>
    (instance ?AREA Continent)
    (meetsSpatially ?AREA WorldOcean))
Geography.kif 4323-4325
(=>
    (instance ?OCEAN Ocean)
    (properPart ?OCEAN WorldOcean))
Geography.kif 4345-4347
(=>
    (instance ?SEA Sea)
    (properPart ?SEA WorldOcean))
Geography.kif 4568-4570
(=>
    (instance ?WATER Estuary)
    (exists (?SEA)
        (and
            (instance ?SEA SaltWaterArea)
            (part ?SEA WorldOcean)
            (connected ?SEA ?WATER))))
Geography.kif 4971-4977


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