IndianOcean - Sigma Knowledge base Browser

appearance as argument number 1

(connected IndianOcean PersianGulf)	Geography.kif 4871-4871	IndianOcean est connect� � PersianGulf
(connected IndianOcean SouthPacificOcean)	Geography.kif 4870-4870	IndianOcean est connect� � SouthPacificOcean
(connected IndianOcean SouthernOcean)	Geography.kif 4872-4872	IndianOcean est connect� � SouthernOcean
(documentation IndianOcean EnglishLanguage "IndianOcean represents the Indian Ocean.")	Geography.kif 4868-4868	IndianOcean est connect� � SouthernOcean
(externalImage IndianOcean "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ I/ Indian_Ocean.png")	pictureList.kif 514-514	IndianOcean est connect� � SouthernOcean
(instance IndianOcean Ocean)	Geography.kif 4865-4865	IndianOcean est une instance de Ocean

appearance as argument number 2

(located FrenchSouthernAndAntarcticLands IndianOcean)	CountriesAndRegions.kif 586-586	FrenchSouthernAndAntarcticLands est situ� � IndianOcean
(meetsSpatially BassasDaIndia IndianOcean)	CountriesAndRegions.kif 136-136	BassasDaIndia rencontre IndianOcean
(meetsSpatially EuropaIsland IndianOcean)	CountriesAndRegions.kif 140-140	EuropaIsland rencontre IndianOcean
(meetsSpatially GloriosoIslands IndianOcean)	CountriesAndRegions.kif 142-142	GloriosoIslands rencontre IndianOcean
(meetsSpatially HeardIslandAndMcDonaldIslands IndianOcean)	CountriesAndRegions.kif 144-144	HeardIslandAndMcDonaldIslands rencontre IndianOcean
(meetsSpatially JuanDeNovaIsland IndianOcean)	CountriesAndRegions.kif 146-146	JuanDeNovaIsland rencontre IndianOcean
(meetsSpatially Mayotte IndianOcean)	CountriesAndRegions.kif 148-148	Mayotte rencontre IndianOcean
(meetsSpatially TromelinIsland IndianOcean)	CountriesAndRegions.kif 150-150	TromelinIsland rencontre IndianOcean
(names "Indian Ocean" IndianOcean)	Geography.kif 4866-4866	IndianOcean s'appele &ames$"nom" "Indian Ocean"
(termFormat ChineseLanguage IndianOcean "印度洋")	domainEnglishFormat.kif 29628-29628	IndianOcean s'appele &ames$"nom" "Indian Ocean"
(termFormat ChineseTraditionalLanguage IndianOcean "印度洋")	domainEnglishFormat.kif 29627-29627	IndianOcean s'appele &ames$"nom" "Indian Ocean"
(termFormat EnglishLanguage IndianOcean "indian ocean")	domainEnglishFormat.kif 29626-29626	IndianOcean s'appele &ames$"nom" "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