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

Formal Language: 


KB Term:  Term intersection
English Word: 

  EnteringAPin

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 4573-4576
(externalImage WorldOcean "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ World_ocean_map.gif") pictureList.kif 4951-4951
(instance WorldOcean BodyOfWater) Geography.kif 4569-4569 世界海洋水体instance
(instance WorldOcean SaltWaterArea) Geography.kif 4568-4568 世界海洋盐水区instance

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


(inScopeOfInterest InternationalHydrographicOrganization WorldOcean) Government.kif 3498-3498 国际水文组织世界海洋 感兴趣
(names "the ocean" WorldOcean) Geography.kif 4571-4571 世界海洋 的名 是 "the ocean"
(names "world ocean" WorldOcean) Geography.kif 4570-4570 世界海洋 的名 是 "world ocean"
(termFormat ChineseLanguage WorldOcean "世界海洋") domainEnglishFormat.kif 63531-63531 世界海洋 的名 是 "world ocean"
(termFormat ChineseTraditionalLanguage WorldOcean "世界海洋") domainEnglishFormat.kif 63530-63530 世界海洋 的名 是 "world ocean"
(termFormat EnglishLanguage WorldOcean "world ocean") domainEnglishFormat.kif 63529-63529 世界海洋 的名 是 "world ocean"

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 4578-4580
(=>
    (instance ?OCEAN Ocean)
    (properPart ?OCEAN WorldOcean))
Geography.kif 4600-4602
(=>
    (instance ?SEA Sea)
    (properPart ?SEA WorldOcean))
Geography.kif 4849-4851
(=>
    (instance ?WATER Estuary)
    (exists (?SEA)
        (and
            (instance ?SEA SaltWaterArea)
            (part ?SEA WorldOcean)
            (connected ?SEA ?WATER))))
Geography.kif 5308-5314


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