TreeView Knowledge Base Browser

appearance as argument number 1

(documentation PacificOcean EnglishLanguage "PacificOcean represents the Pacific Ocean.")	Geography.kif 4568-4569
(externalImage PacificOcean "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ P/ Pacific_Ocean.png")	pictureList.kif 644-644
(instance PacificOcean Ocean)	Geography.kif 4566-4566	PacificOcean ist ein fall von Ocean %n{nicht}

appearance as argument number 2

(geographicSubregion NorthPacificOcean PacificOcean)	Geography.kif 4576-4576	geographicSubregion NorthPacificOcean and PacificOcean
(geographicSubregion SouthPacificOcean PacificOcean)	Geography.kif 4616-4616	geographicSubregion SouthPacificOcean and PacificOcean
(meetsSpatially Alaska PacificOcean)	CountriesAndRegions.kif 881-881	Alaska schliesst PacificOcean raeumlich an
(meetsSpatially California PacificOcean)	CountriesAndRegions.kif 903-903	California schliesst PacificOcean raeumlich an
(meetsSpatially Hawaii PacificOcean)	CountriesAndRegions.kif 936-936	Hawaii schliesst PacificOcean raeumlich an
(meetsSpatially Oregon PacificOcean)	CountriesAndRegions.kif 1082-1082	Oregon schliesst PacificOcean raeumlich an
(meetsSpatially Washington PacificOcean)	CountriesAndRegions.kif 1141-1141	Washington schliesst PacificOcean raeumlich an
(names "Pacific Ocean" PacificOcean)	Geography.kif 4567-4567	names "Pacific Ocean" and PacificOcean
(termFormat ChineseLanguage PacificOcean "太平洋")	domainEnglishFormat.kif 43892-43892
(termFormat ChineseTraditionalLanguage PacificOcean "太平洋")	domainEnglishFormat.kif 43891-43891
(termFormat EnglishLanguage PacificOcean "pacific ocean")	domainEnglishFormat.kif 43890-43890

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