TreeView 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	南是方向属性的 instance

appearance as argument number 2

(contraryAttribute North South East West)	Merge.kif 17012-17012	北是南的相反
(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	加勒比地区在北美的南
(orientation MiddleAmerica NorthAmerica South)	Geography.kif 288-288	中美洲在北美的南

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

如果方向属性 equal 北或那个方向属性 equal 南，
然后 0.0 圆周角度的 region 那个方向属性的 length 是 1.0 海里

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South))	Geography.kif 3739-3741	客体对于 %3 courseWRT 实际北若且唯若那个客体在另一个客体的南
(<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South))	Merge.kif 17018-17020	客体在另一个客体的北若且唯若那个另外客体在那个客体的南
(<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East)))	Geography.kif 3664-3668	客体在另一个客体的东南若且唯若那个客体在那个另外客体的南和那个客体在那个另外客体的东
(<=> (orientation ?OBJ1 ?OBJ2 Southwest) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 West)))	Geography.kif 3676-3680	客体在另一个客体的西南若且唯若那个客体在那个另外客体的南和那个客体在那个另外客体的西方
(=> (and (instance ?LAND Continent) (not (equal ?LAND Antarctica))) (orientation Antarctica ?LAND South))	Geography.kif 292-296	如果客体是大陆的 instance 和那个客体不 equal 南极洲，然后南极洲在那个客体的南
(=> (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	如果客体是地理区域的 instance 和那个客体是 located 在另一个客体和那个另外客体是热带的 instance，然后有存在实数，经度,，，方向属性,，，另一个实数， and 和测量单位这样那个客体是对于那个经度的 object 地理座标那个实数那个测量单位和那个测量单位是 UnitOfAngularMeasure 的 instance 和那个实数是 lessThan 那个另外实数和那个另外实数那个测量单位 equal 23.0 圆周角度的 region 那个方向属性和那个方向属性是方向属性的 instance 和那个方向属性 equal 北或那个方向属性 equal 南
(=> (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	如果过程是热带氣旋系统的 instance 和客体是那个过程的源头和那个客体是北大西洋的 instance 或那个客体是太平洋的 instance 或那个客体是印度洋的 instance，然后不存在另一个客体，方向属性,，，实数， and 和经度这样那个另外客体是 located 在那个客体和那个方向属性是方向属性的 instance 和那个另外客体是对于那个经度的 object 地理座标那个实数圆周角度的 region 那个方向属性和那个方向属性 equal 北或那个方向属性 equal 南和那个实数是 lessThan 5.0
(=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South)))	Geography.kif 421-425	如果 @ROW 的 region 方向属性是地区的 instance，然后那个方向属性 equal 北或那个方向属性 equal 南

statement

(located FrenchSouthernAndAntarcticLands (DirectionalSubregionFn South IndianOcean))	CountriesAndRegions.kif 588-588	法国南部和南极的土地是 located 在南和印度洋的 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 圆周角度东的 meridian 的 object 地理座标 65.0 圆周角度的 region 南

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: