South - Sigma Knowledge base Browser

appearance as argument number 1

(documentation South ChineseLanguage "这是罗盘方向 South.")	chinese_format.kif 3805-3805
(documentation South EnglishLanguage "The compass direction of South.")	Merge.kif 17016-17016
(externalImage South "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png")	pictureList.kif 1994-1994
(instance South DirectionalAttribute)	Merge.kif 17015-17015	例南 and DirectionalAttribute

appearance as argument number 2

(contraryAttribute North South East West)	Merge.kif 17012-17012	相反的屬性北, 南, 東 and 西方
(oppositeDirection North South)	Mid-level-ontology.kif 18133-18133	南是北的 opposite 方向
(termFormat ChineseLanguage South "南")	domainEnglishFormat.kif 54036-54036
(termFormat ChineseTraditionalLanguage South "南")	domainEnglishFormat.kif 54035-54035
(termFormat EnglishLanguage South "south")	domainEnglishFormat.kif 54034-54034

appearance as argument number 3

(orientation CaribbeanRegion NorthAmerica South)	Geography.kif 290-290	方位加勒比地區, 北美 and 南
(orientation MiddleAmerica NorthAmerica South)	Geography.kif 288-288	方位中美洲, 北美 and 南

antecedent

(=>
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South))
    (length
        (LatitudeFn ?DIRECTION
            (MeasureFn 0.0 AngularDegree)
            (MeasureFn 1.0 ArcMinute)
            (MeasureFn 0.0 ArcSecond))
        (MeasureFn 1.0 NauticalMile)))

Geography.kif 433-440

等於 DirectionalAttribute and 北等於 DirectionalAttribute and 南
length 測量 0.0 and 圓周角度的 region DirectionalAttribute and 測量 1.0 and 海裡

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South))	Geography.kif 3739-3741	Object 對於 %3 courseWRT 實際北方位 Object, Object and 南
(<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South))	Merge.kif 17018-17020	方位 Object, Object and 北方位 Object, Object and 南
(<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East)))	Geography.kif 3664-3668	方位 Object, Object and 東南方位 Object, Object and 南方位 Object, Object and 東
(<=> (orientation ?OBJ1 ?OBJ2 Southwest) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 West)))	Geography.kif 3676-3680	方位 Object, Object and 西南方位 Object, Object and 南方位 Object, Object and 西方
(=> (and (instance ?LAND Continent) (not (equal ?LAND Antarctica))) (orientation Antarctica ?LAND South))	Geography.kif 292-296	例 Object and Continent 等於 Object and 南極洲方位南極洲, Object and 南
(=> (and (instance ?PLACE GeographicArea) (located ?PLACE ?T) (instance ?T Tropics)) (exists (?NUM1 ?LONG ?DIR ?NUM2 ?U) (and (objectGeographicCoordinates ?PLACE (MeasureFn ?NUM1 ?U) ?LONG) (instance ?U UnitOfAngularMeasure) (lessThan ?NUM1 ?NUM2) (equal (MeasureFn ?NUM2 ?U) (LatitudeFn ?DIR (MeasureFn 23.0 AngularDegree) (MeasureFn 26.0 ArcMinute) (MeasureFn 11.5 ArcSecond))) (instance ?DIR DirectionalAttribute) (or (equal ?DIR North) (equal ?DIR South)))))	Geography.kif 3595-3615	例 Object and GeographicArea 位於 Object and Object 例 Object and 熱帶 RealNumber 經度, DirectionalAttribute, RealNumber and UnitOfMeasure Object 是對於經度的 object 地理座標測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfAngularMeasure 少於 RealNumber and RealNumber 等於測量 RealNumber and UnitOfMeasure and 測量 23.0 and 圓周角度的 region DirectionalAttribute 例 DirectionalAttribute and DirectionalAttribute 等於 DirectionalAttribute and 北等於 DirectionalAttribute and 南
(=> (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	例 Process and TropicalCyclonicSystem 起源 Process and Object 例 Object and 北大西洋例 Object and 太平洋例 Object and 印度洋 Object DirectionalAttribute, RealNumber and 經度位於 Object and Object 例 DirectionalAttribute and DirectionalAttribute Object 是對於經度的 object 地理座標測量 RealNumber and 圓周角度的 region DirectionalAttribute 等於 DirectionalAttribute and 北等於 DirectionalAttribute and 南少於 RealNumber and 5.0
(=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South)))	Geography.kif 421-425	例 @ROW 的 region DirectionalAttribute and Region 等於 DirectionalAttribute and 北等於 DirectionalAttribute and 南

statement

(located FrenchSouthernAndAntarcticLands (DirectionalSubregionFn South IndianOcean))	CountriesAndRegions.kif 588-588	位於法國南部和南極的土地 and 南和印度洋的 directional 次要地區
(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 4662-4669	南部海洋的 geographic 中心是對於在測量 0.0 and 圓周角度東的 meridian 的 object 地理座標測量 65.0 and 圓周角度的 region 南

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

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: