TreeView Knowledge Base Browser

appearance as argument number 1

(instance IndianOcean Ocean)	Geography.kif 6167-6167	Indian ocean is an instance of ocean
(documentation IndianOcean EnglishLanguage "IndianOcean represents the Indian Ocean.")	Geography.kif 6170-6170	Indian ocean is an instance of ocean
(connected IndianOcean SouthPacificOcean)	Geography.kif 6172-6172	Indian ocean is connected to south pacific ocean
(connected IndianOcean PersianGulf)	Geography.kif 6173-6173	Indian ocean is connected to persian gulf
(connected IndianOcean SouthernOcean)	Geography.kif 6174-6174	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

appearance as argument number 2

(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
(located FrenchSouthernAndAntarcticLands IndianOcean)	CountriesAndRegions.kif 586-586	French southern and antarctic lands is located at indian ocean
(names "Indian Ocean" IndianOcean)	Geography.kif 6168-6168	Indian ocean has name "Indian Ocean"
(termFormat EnglishLanguage IndianOcean "indian ocean")	domainEnglishFormat.kif 29619-29619	Indian ocean has name "Indian Ocean"
(termFormat ChineseTraditionalLanguage IndianOcean "印度洋")	domainEnglishFormat.kif 29620-29620	Indian ocean has name "Indian Ocean"
(termFormat ChineseLanguage IndianOcean "印度洋")	domainEnglishFormat.kif 29621-29621	Indian ocean has 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)))))

If X is an instance of tropical cyclonic system, X originates at Y, and At least one of the following holds: (1) Y is an instance of north atlantic ocean (2) Y is an instance of pacific ocean (3) Y is an instance of indian ocean, then there don't exist Z, W,, , V and U such that Z is located at Y and W is an instance of directional attribute and Z is object geographic coordinates the region W of V angular degree(s) for U and equal W and north of or equal W and south of and V is less than 5.0

statement