TreeView Knowledge Base Browser

appearance as argument number 1

(connected IndianOcean PersianGulf)	Geography.kif 4631-4631	連接的印度洋 and 波斯灣
(connected IndianOcean SouthPacificOcean)	Geography.kif 4630-4630	連接的印度洋 and 南太平洋
(connected IndianOcean SouthernOcean)	Geography.kif 4632-4632	連接的印度洋 and 南部海洋
(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	例印度洋 and 海洋

appearance as argument number 2

(located FrenchSouthernAndAntarcticLands IndianOcean)	CountriesAndRegions.kif 586-586	位於法國南部和南極的土地 and 印度洋
(meetsSpatially BassasDaIndia IndianOcean)	CountriesAndRegions.kif 136-136	空間的符合 bassas da 印度 and 印度洋
(meetsSpatially EuropaIsland IndianOcean)	CountriesAndRegions.kif 140-140	空間的符合歐羅巴島 and 印度洋
(meetsSpatially GloriosoIslands IndianOcean)	CountriesAndRegions.kif 142-142	空間的符合 glorioso島嶼 and 印度洋
(meetsSpatially HeardIslandAndMcDonaldIslands IndianOcean)	CountriesAndRegions.kif 144-144	空間的符合聽過島嶼和麥當勞群島 and 印度洋
(meetsSpatially JuanDeNovaIsland IndianOcean)	CountriesAndRegions.kif 146-146	空間的符合胡安德諾瓦島 and 印度洋
(meetsSpatially Mayotte IndianOcean)	CountriesAndRegions.kif 148-148	空間的符合馬約特 and 印度洋
(meetsSpatially TromelinIsland IndianOcean)	CountriesAndRegions.kif 150-150	空間的符合特羅姆林島 and 印度洋
(names "Indian Ocean" IndianOcean)	Geography.kif 4626-4626	名 "Indian Ocean" and 印度洋
(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