TreeView Knowledge Base Browser - NorthAtlanticOcean

appearance as argument number 1

(documentation NorthAtlanticOcean EnglishLanguage "NorthAtlanticOcean denotes the northern geographicSubregion of the AtlanticOcean.")	Geography.kif 4548-4550
(externalImage NorthAtlanticOcean "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 06/ Atlantic_Ocean.png")	pictureList.kif 2495-2495
(geographicSubregion NorthAtlanticOcean AtlanticOcean)	Geography.kif 4544-4544	geographicSubregion NorthAtlanticOcean and AtlanticOcean
(geographicSubregion NorthAtlanticOcean NorthernHemisphere)	Geography.kif 4545-4545	geographicSubregion NorthAtlanticOcean and NorthernHemisphere
(geographicSubregion NorthAtlanticOcean WesternHemisphere)	Geography.kif 4546-4546	geographicSubregion NorthAtlanticOcean and WesternHemisphere
(instance NorthAtlanticOcean BodyOfWater)	Geography.kif 4540-4540	NorthAtlanticOcean est une instance de BodyOfWater
(instance NorthAtlanticOcean SaltWaterArea)	Geography.kif 4539-4539	NorthAtlanticOcean est une instance de plan d'eau sal�

appearance as argument number 2

(connected GulfOfMexico NorthAtlanticOcean)	Geography.kif 5176-5176	GulfOfMexico est connect� � NorthAtlanticOcean
(meetsSpatially Delaware NorthAtlanticOcean)	CountriesAndRegions.kif 919-919	Delaware rencontre NorthAtlanticOcean
(meetsSpatially FloridaUnitedStates NorthAtlanticOcean)	CountriesAndRegions.kif 925-925	FloridaUnitedStates rencontre NorthAtlanticOcean
(meetsSpatially Georgia NorthAtlanticOcean)	CountriesAndRegions.kif 931-931	Georgia rencontre NorthAtlanticOcean
(meetsSpatially Maine NorthAtlanticOcean)	CountriesAndRegions.kif 979-979	Maine rencontre NorthAtlanticOcean
(meetsSpatially Maryland NorthAtlanticOcean)	CountriesAndRegions.kif 982-982	Maryland rencontre NorthAtlanticOcean
(meetsSpatially Massachusetts NorthAtlanticOcean)	CountriesAndRegions.kif 990-990	Massachusetts rencontre NorthAtlanticOcean
(meetsSpatially NewHampshire NorthAtlanticOcean)	CountriesAndRegions.kif 1036-1036	NewHampshire rencontre NorthAtlanticOcean
(meetsSpatially NewJersey NorthAtlanticOcean)	CountriesAndRegions.kif 1042-1042	NewJersey rencontre NorthAtlanticOcean
(meetsSpatially NewYorkState NorthAtlanticOcean)	CountriesAndRegions.kif 1061-1061	NewYorkState rencontre NorthAtlanticOcean
(meetsSpatially NorthCarolina NorthAtlanticOcean)	CountriesAndRegions.kif 1063-1063	NorthCarolina rencontre NorthAtlanticOcean
(meetsSpatially SouthCarolina NorthAtlanticOcean)	CountriesAndRegions.kif 1096-1096	SouthCarolina rencontre NorthAtlanticOcean
(meetsSpatially Virginia NorthAtlanticOcean)	CountriesAndRegions.kif 1134-1134	Virginia rencontre NorthAtlanticOcean
(names "North Atlantic Ocean" NorthAtlanticOcean)	Geography.kif 4541-4541	NorthAtlanticOcean s'appele nom "North Atlantic Ocean"
(names "North Atlantic" NorthAtlanticOcean)	Geography.kif 4542-4542	NorthAtlanticOcean s'appele nom "North Atlantic"
(termFormat ChineseLanguage NorthAtlanticOcean "北大西洋")	domainEnglishFormat.kif 40965-40965
(termFormat ChineseTraditionalLanguage NorthAtlanticOcean "北大西洋")	domainEnglishFormat.kif 40964-40964
(termFormat EnglishLanguage NorthAtlanticOcean "north atlantic ocean")	domainEnglishFormat.kif 40963-40963

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

Processus est une instance de TropicalCyclonicSystem processus a pour origine objet objet est une instance de NorthAtlanticOcean objet est une instance de PacificOcean objet est une instance de IndianOcean
objet attribut directionnel, nombre r�el and Longitude objet est situ� � objet attribut directionnel est une instance de attribut directionnel objectGeographicCoordinates objet, LatitudeFn attribut directionnel and nombre r�el AngularDegree(s) and Longitude attribut directionnel est North attribut directionnel est South nombre r�el est moins que 5.0

consequent

(=>
    (and
        (instance ?H Hurricane)
        (eventLocated ?H ?P)
        (instance ?P GeographicArea)
        (or
            (located ?P ?SEA)
            (meetsSpatially ?P ?SEA)))
    (or
        (equal ?SEA NortheasternPacificOcean)
        (equal ?SEA NorthAtlanticOcean)))

Weather.kif 753-763

Processus est une instance de Hurricane eventLocated processus and objet objet est une instance de secteur g�ographique objet est situ� � objet objet rencontre objet
objet est NortheasternPacificOcean objet est NorthAtlanticOcean

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: