TreeView Knowledge Base Browser

appearance as argument number 1

(documentation East ChineseLanguage "这是罗盘方向 East.")	chinese_format.kif 3806-3806
(documentation East EnglishLanguage "The compass direction of East.")	Merge.kif 17198-17198
(externalImage East "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png")	pictureList.kif 1740-1740
(instance East DirectionalAttribute)	Merge.kif 17197-17197	East is an instance of directional attribute
(oppositeDirection East West)	Mid-level-ontology.kif 19705-19705	West is an opposite direction of east

appearance as argument number 2

(termFormat ChineseLanguage East "东")	domainEnglishFormat.kif 20829-20829
(termFormat ChineseTraditionalLanguage East "東")	domainEnglishFormat.kif 20828-20828
(termFormat EnglishLanguage East "east")	domainEnglishFormat.kif 20827-20827

appearance as argument number 3

(contraryAttribute North South East West)	Merge.kif 17187-17187	North is the opposite of south
(oreintation Brazil AndesMountains East)	Geography.kif 394-394	oreintation brazil, Andes Mountains and east
(oreintation Paraguay AndesMountains East)	Geography.kif 395-395	oreintation paraguay, Andes Mountains and east
(orientation Europe NorthAmerica East)	Geography.kif 277-277	Europe is east to north america
(orientation IsleOfMan NorthernIreland East)	Geography.kif 7440-7440	Isle of man is east to northern ireland
(orientation Italy SouthernFrance East)	Geography.kif 344-344	Italy is east to Southern France
(orientation NorthAmerica Asia East)	Geography.kif 279-279	North america is east to asia
(orientation RedSea SaharaDesert East)	Geography.kif 7090-7090	Red sea is east to Sahara Desert
(orientation RedSea Sahel East)	Geography.kif 7109-7109	Red sea is east to Sahel
(orientation RockyMountains BritishColumbia East)	Geography.kif 448-448	Rocky Mountains is east to British Columbia
(orientation RockyMountains Kansas East)	Geography.kif 371-371	Rocky Mountains is east to Kansas
(orientation RockyMountains Nebraska East)	Geography.kif 372-372	Rocky Mountains is east to Nebraska
(orientation RockyMountains NorthDakota East)	Geography.kif 374-374	Rocky Mountains is east to north dakota
(orientation RockyMountains Oklahoma East)	Geography.kif 370-370	Rocky Mountains is east to Oklahoma
(orientation RockyMountains SouthDakota East)	Geography.kif 373-373	Rocky Mountains is east to South Dakota
(orientation RockyMountains Texas East)	Geography.kif 369-369	Rocky Mountains is east to texas

antecedent

(<=>
(orientation ?OBJ1 ?OBJ2 East)
(orientation ?OBJ2 ?OBJ1 West))

Merge.kif 17203-17205

An object is east to another object if and only if the other object is west to the object

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East))	Geography.kif 4031-4033	An object courseWRT true north another object for 90.0 angular degree(s) if and only if the object is east to the other object
(<=> (orientation ?OBJ1 ?OBJ2 Northeast) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 East)))	Geography.kif 3949-3953	An object is northeast to another object if and only if the object is north to the other object and the object is east to the other object
(<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East)))	Geography.kif 3960-3964	An object is southeast to another object if and only if the object is south to the other object and the object is east to the other object
(=> (and (instance ?REGION GeographicArea) (geographicSubregion (GeographicEastFn ?REGION) ?REGION) (geographicSubregion (GeographicWestFn ?REGION) ?REGION)) (orientation (GeographicEastFn ?REGION) (GeographicWestFn ?REGION) East))	Geography.kif 618-623	If a geographic area is an instance of geographic area and geographic east the geographic area is a geographic subregion of the geographic area and geographic west the geographic area is a geographic subregion of the geographic area, then geographic east the geographic area is east to geographic west the geographic area
(=> (and (instance ?W InteriorChinookWind) (eventLocated ?W ?A) (geographicSubregion ?A WesternNorthAmerica) (instance ?M MountainRange)) (orientation ?A ?M East))	Weather.kif 1715-1721	If a process is an instance of interior chinook wind and the process is located at a geographic area and the geographic area is a geographic subregion of Western NorthAmerica and an object is an instance of mountain range, then the geographic area is east to the object
(=> (and (instance ?W PuelcheWind) (eventLocated ?W ?A) (geographicSubregion ?A Chile) (orientation ?A SantiagoChile South)) (holdsDuring (WhenFn ?W) (surfaceWindDirection ?A East)))	Weather.kif 1772-1780	If a process is an instance of Puelche wind and the process is located at a geographic area and the geographic area is a geographic subregion of chile and the geographic area is south to santiago chile, then east is a surface wind direction of the geographic area holds during the time of existence of the process
(=> (and (instance ?W ZondaWind) (eventLocated ?W ?A) (geographicSubregion ?A Argentina)) (orientation ?A AndesMountains East))	Weather.kif 1759-1764	If a process is an instance of Zonda wind and the process is located at a geographic area and the geographic area is a geographic subregion of argentina, then the geographic area is east to Andes Mountains
(=> (instance (LongitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION East) (equal ?DIRECTION West)))	Geography.kif 769-773	If the meridian at @ROW a directional attribute is an instance of region, then equal the directional attribute and east or equal the directional attribute and west

statement

(objectGeographicCoordinates
    (GeographicCenterFn SouthernOcean)
    (LatitudeFn South
        (MeasureFn 65.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute)))

Geography.kif 5040-5047

The geographic center of southern ocean is object geographic coordinates the region south of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east

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: