IndianOcean - Sigma Knowledge base Browser

appearance as argument number 1

(connected IndianOcean PersianGulf)	Geography.kif 4871-4871	Indian ocean is connected to persian gulf
(connected IndianOcean SouthPacificOcean)	Geography.kif 4870-4870	Indian ocean is connected to south pacific ocean
(connected IndianOcean SouthernOcean)	Geography.kif 4872-4872	Indian ocean is connected to southern ocean
(documentation IndianOcean EnglishLanguage "IndianOcean represents the Indian Ocean.")	Geography.kif 4868-4868	Indian ocean is connected to southern ocean
(externalImage IndianOcean "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ I/ Indian_Ocean.png")	pictureList.kif 514-514	Indian ocean is connected to southern ocean
(instance IndianOcean Ocean)	Geography.kif 4865-4865	Indian ocean is an instance of ocean

appearance as argument number 2

(located FrenchSouthernAndAntarcticLands IndianOcean)	CountriesAndRegions.kif 586-586	French southern and antarctic lands is located at indian ocean
(meetsSpatially BassasDaIndia IndianOcean)	CountriesAndRegions.kif 136-136	Bassas da india meets indian ocean
(meetsSpatially EuropaIsland IndianOcean)	CountriesAndRegions.kif 140-140	Europa island meets indian ocean
(meetsSpatially GloriosoIslands IndianOcean)	CountriesAndRegions.kif 142-142	Glorioso islands meets indian ocean
(meetsSpatially HeardIslandAndMcDonaldIslands IndianOcean)	CountriesAndRegions.kif 144-144	Heard island and mc donald islands meets indian ocean
(meetsSpatially JuanDeNovaIsland IndianOcean)	CountriesAndRegions.kif 146-146	Juan de nova island meets indian ocean
(meetsSpatially Mayotte IndianOcean)	CountriesAndRegions.kif 148-148	Mayotte meets indian ocean
(meetsSpatially TromelinIsland IndianOcean)	CountriesAndRegions.kif 150-150	Tromelin island meets indian ocean
(names "Indian Ocean" IndianOcean)	Geography.kif 4866-4866	Indian ocean has &ames$"name" "Indian Ocean"
(termFormat ChineseLanguage IndianOcean "印度洋")	domainEnglishFormat.kif 29628-29628	Indian ocean has &ames$"name" "Indian Ocean"
(termFormat ChineseTraditionalLanguage IndianOcean "印度洋")	domainEnglishFormat.kif 29627-29627	Indian ocean has &ames$"name" "Indian Ocean"
(termFormat EnglishLanguage IndianOcean "indian ocean")	domainEnglishFormat.kif 29626-29626	Indian ocean has &ames$"name" "Indian Ocean"

antecedent

(=>
    (and
        (instance ?TC TropicalCyclonicSystem)
        (origin ?TC ?SEA)
        (or
            (instance ?SEA NorthAtlanticOcean)
            (instance ?SEA PacificOcean)
            (instance ?SEA IndianOcean)))
    (not
        (exists (?AREA ?DIR ?NUM ?LONG)
            (and
                (located ?AREA ?SEA)
                (instance ?DIR DirectionalAttribute)
                (objectGeographicCoordinates ?AREA
                    (LatitudeFn ?DIR
                        (MeasureFn ?NUM AngularDegree)) ?LONG)
                (or
                    (equal ?DIR North)
                    (equal ?DIR South))
                (lessThan ?NUM 5.0)))))

Weather.kif 611-630

statement

CountriesAndRegions.kif 588-588