IndianOcean - Sigma Knowledge base Browser

appearance as argument number 1

(connected IndianOcean PersianGulf)	Geography.kif 4631-4631	IndianOcean は PersianGulf と connected して
(connected IndianOcean SouthPacificOcean)	Geography.kif 4630-4630	IndianOcean は SouthPacificOcean と connected して
(connected IndianOcean SouthernOcean)	Geography.kif 4632-4632	IndianOcean は SouthernOcean と connected して
(documentation IndianOcean EnglishLanguage "IndianOcean represents the Indian Ocean.")	Geography.kif 4628-4628
(externalImage IndianOcean "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ I/ Indian_Ocean.png")	pictureList.kif 514-514
(instance IndianOcean Ocean)	Geography.kif 4625-4625	IndianOcean は Ocean の instance では %n

appearance as argument number 2

(located FrenchSouthernAndAntarcticLands IndianOcean)	CountriesAndRegions.kif 586-586	FrenchSouthernAndAntarcticLands は IndianOcean に located して %n
(meetsSpatially BassasDaIndia IndianOcean)	CountriesAndRegions.kif 136-136	BassasDaIndia は IndianOcean と meets %n{ない}
(meetsSpatially EuropaIsland IndianOcean)	CountriesAndRegions.kif 140-140	EuropaIsland は IndianOcean と meets %n{ない}
(meetsSpatially GloriosoIslands IndianOcean)	CountriesAndRegions.kif 142-142	GloriosoIslands は IndianOcean と meets %n{ない}
(meetsSpatially HeardIslandAndMcDonaldIslands IndianOcean)	CountriesAndRegions.kif 144-144	HeardIslandAndMcDonaldIslands は IndianOcean と meets %n{ない}
(meetsSpatially JuanDeNovaIsland IndianOcean)	CountriesAndRegions.kif 146-146	JuanDeNovaIsland は IndianOcean と meets %n{ない}
(meetsSpatially Mayotte IndianOcean)	CountriesAndRegions.kif 148-148	Mayotte は IndianOcean と meets %n{ない}
(meetsSpatially TromelinIsland IndianOcean)	CountriesAndRegions.kif 150-150	TromelinIsland は IndianOcean と meets %n{ない}
(names "Indian Ocean" IndianOcean)	Geography.kif 4626-4626	IndianOcean は "Indian Ocean" の name を持って %n{ない}
(termFormat ChineseLanguage IndianOcean "印度洋")	domainEnglishFormat.kif 29617-29617
(termFormat ChineseTraditionalLanguage IndianOcean "印度洋")	domainEnglishFormat.kif 29616-29616
(termFormat EnglishLanguage IndianOcean "indian ocean")	domainEnglishFormat.kif 29615-29615

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 627-646

statement

CountriesAndRegions.kif 588-588