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 15712-15712
(externalImage South "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png") pictureList.kif 1995-1995
(instance South DirectionalAttribute) Merge.kif 15711-15711

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


(contraryAttribute North South East West) Merge.kif 15708-15708
(oppositeDirection North South) Mid-level-ontology.kif 15827-15827
(termFormat ChineseLanguage South "南") domainEnglishFormat.kif 53971-53971
(termFormat ChineseTraditionalLanguage South "南") domainEnglishFormat.kif 53970-53970
(termFormat EnglishLanguage South "south") domainEnglishFormat.kif 53969-53969

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 3577-3579
(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 15714-15716
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3502-3506
(<=>
    (orientation ?OBJ1 ?OBJ2 Southwest)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3514-3518
(=>
    (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