Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - South
South

appearance as argument number 1
-------------------------


(documentation South ChineseLanguage "这是罗盘方向 South.") chinese_format.kif 3805-3805
(documentation South EnglishLanguage "The compass direction of South.") Merge.kif 17191-17191
(externalImage South "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") pictureList.kif 1993-1993
(instance South DirectionalAttribute) Merge.kif 17190-17190 South は 方向属性 の instance では

appearance as argument number 2
-------------------------


(contraryAttribute North South East West) Merge.kif 17187-17187 North は South の disjoint では
(oppositeDirection North South) Mid-level-ontology.kif 19704-19704 oppositeDirection North and South
(termFormat ChineseLanguage South "南") domainEnglishFormat.kif 54040-54040 oppositeDirection North and South
(termFormat ChineseTraditionalLanguage South "南") domainEnglishFormat.kif 54039-54039 oppositeDirection North and South
(termFormat EnglishLanguage South "south") domainEnglishFormat.kif 54038-54038 oppositeDirection North and South

appearance as argument number 3
-------------------------


(orientation CaribbeanRegion NorthAmerica South) Geography.kif 290-290 CaribbeanRegion は South 対 NorthAmerica では
(orientation Idaho BritishColumbia South) Geography.kif 452-452 Idaho は South 対 BritishColumbia では
(orientation MediterraneanSea GulfOfLion South) Geography.kif 5448-5448 MediterraneanSea は South 対 GulfOfLion では
(orientation MiddleAmerica NorthAmerica South) Geography.kif 288-288 MiddleAmerica は South 対 NorthAmerica では
(orientation Montana BritishColumbia South) Geography.kif 454-454 Montana は South 対 BritishColumbia では
(orientation Sahel SaharaDesert South) Geography.kif 6970-6970 Sahel は South 対 SaharaDesert では
(orientation Spain SouthernFrance South) Geography.kif 343-343 Spain は South 対 SouthernFrance では
(orientation Washington BritishColumbia South) Geography.kif 450-450 Washington は South 対 BritishColumbia では

antecedent
-------------------------


(=>
    (and
        (instance ?W PuelcheWind)
        (eventLocated ?W ?A)
        (geographicSubregion ?A Chile)
        (orientation ?A SantiagoChile South))
    (holdsDuring
        (WhenFn ?W)
        (surfaceWindDirection ?A East)))		 Weather.kif 1772-1780
(=>
    (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 603-610

consequent
-------------------------


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))		 Geography.kif 3897-3899 courseWRTTrueNorth オブジェクト, オブジェクト and 180.0 の AngularDegree(s) オブジェクト は South 対 オブジェクト では
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))		 Merge.kif 17193-17195 オブジェクト は North 対 オブジェクト では オブジェクト は South 対 オブジェクト では
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3822-3826 オブジェクト は Southeast 対 オブジェクト では オブジェクト は South 対 オブジェクト では オブジェクト は East 対 オブジェクト では
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3834-3838 オブジェクト は Southwest 対 オブジェクト では オブジェクト は South 対 オブジェクト では オブジェクト は West 対 オブジェクト では
(=>
    (and
        (instance ?LAND Continent)
        (not
            (equal ?LAND Antarctica)))
    (orientation Antarctica ?LAND South))		 Geography.kif 292-296
(=>
    (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 3753-3773
(=>
    (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
(=>
    (instance
        (LatitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))		 Geography.kif 591-595

statement
-------------------------


(equal SouthPole
    (LatitudeFn South
        (MeasureFn 90 AngularDegree)))		 Geography.kif 4030-4033 equal SouthPole and LatitudeFn South and 90 の AngularDegree(s)
(located FrenchSouthernAndAntarcticLands
    (DirectionalSubregionFn South IndianOcean))		 CountriesAndRegions.kif 588-588 FrenchSouthernAndAntarcticLands は DirectionalSubregionFn South and IndianOcean に located して
(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 4902-4909 objectGeographicCoordinates GeographicCenterFn SouthernOcean, LatitudeFn South, 65.0 の AngularDegree(s) and 0.0 の ArcMinute(s) and LongitudeFn East, 0.0 の AngularDegree(s) and 0.0 の ArcMinute(s)


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