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

Formal Language: 



KB Term:  Term intersection
English Word: 

  South

Sigma KEE - South
South

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


(documentation South ChineseLanguage "这是罗盘方向 South.") Merge.kif 17345-17345
(documentation South EnglishLanguage "The compass direction of South.") Merge.kif 17344-17344
(externalImage South "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png") pictureList.kif 1995-1995
(instance South DirectionalAttribute) Merge.kif 17343-17343

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


(contraryAttribute North South East West) Merge.kif 17339-17339
(oppositeDirection North South) Mid-level-ontology.kif 15827-15827
(termFormat EnglishLanguage South "south") domainEnglishFormat.kif 9429-9429

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 AngularDegree)
            (MeasureFn 1 ArcMinute)
            (MeasureFn 0 ArcSecond))
        (MeasureFn 1 NauticalMile)))
Geography.kif 433-440

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3564-3566
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 17347-17349
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3489-3493
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3501-3505
(=>
    (and
        (instance ?LAND Continent)
        (not
            (equal ?LAND Antarctica)))
    (orientation Antarctica ?LAND South))
Geography.kif 292-296
(=>
    (instance
        (LatitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))
Geography.kif 421-425