TreeView Knowledge Base Browser

appearance as argument number 1

(connected IndianOcean PersianGulf)	Geography.kif 4631-4631	印度洋和波斯湾是 connected
(connected IndianOcean SouthPacificOcean)	Geography.kif 4630-4630	印度洋和南太平洋是 connected
(connected IndianOcean SouthernOcean)	Geography.kif 4632-4632	印度洋和南部海洋是 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	印度洋是海洋的 instance

appearance as argument number 2

(located FrenchSouthernAndAntarcticLands IndianOcean)	CountriesAndRegions.kif 586-586	法国南部和南极的土地是 located 在印度洋
(meetsSpatially BassasDaIndia IndianOcean)	CountriesAndRegions.kif 136-136	Bassas da 印度接上印度洋
(meetsSpatially EuropaIsland IndianOcean)	CountriesAndRegions.kif 140-140	欧罗巴岛接上印度洋
(meetsSpatially GloriosoIslands IndianOcean)	CountriesAndRegions.kif 142-142	Glorioso岛屿接上印度洋
(meetsSpatially HeardIslandAndMcDonaldIslands IndianOcean)	CountriesAndRegions.kif 144-144	听过岛屿和麦当劳群岛接上印度洋
(meetsSpatially JuanDeNovaIsland IndianOcean)	CountriesAndRegions.kif 146-146	胡安德诺瓦岛接上印度洋
(meetsSpatially Mayotte IndianOcean)	CountriesAndRegions.kif 148-148	马约特接上印度洋
(meetsSpatially TromelinIsland IndianOcean)	CountriesAndRegions.kif 150-150	特罗姆林岛接上印度洋
(names "Indian Ocean" IndianOcean)	Geography.kif 4626-4626	印度洋的名是 "Indian Ocean"
(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