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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - North
North

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


(contraryAttribute North South East West) Merge.kif 15811-15811 contraryAttribute North, South, East and West
(documentation North ChineseLanguage "这是罗盘方向 North.") chinese_format.kif 3804-3804
(documentation North EnglishLanguage "The compass direction of North.") Merge.kif 15812-15812
(externalImage North "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png") pictureList.kif 1871-1871
(instance North DirectionalAttribute) Merge.kif 15810-15810 instance North and DirectionalAttribute
(oppositeDirection North South) Mid-level-ontology.kif 15880-15880 oppositeDirection North and South

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


(termFormat ChineseLanguage North "北") domainEnglishFormat.kif 40843-40843
(termFormat ChineseTraditionalLanguage North "北") domainEnglishFormat.kif 40842-40842
(termFormat EnglishLanguage North "north") domainEnglishFormat.kif 40841-40841

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


(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 orientation CaribbeanRegion, SouthAmerica and North
(orientation Europe Africa North) Geography.kif 275-275 orientation Europe, Africa and North
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 orientation MiddleAmerica, SouthAmerica and North
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 orientation NorthAmerica, SouthAmerica and North
(orientation Scotland England North) Geography.kif 6289-6289 orientation Scotland, England and North
(orientation Scotland Wales North) Geography.kif 6302-6302 orientation Scotland, Wales and North

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


(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 15817-15819 orientation Object, Object and North orientation Object, Object and South
(=>
    (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 0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3569-3571 courseWRTTrueNorth Object, Object and MeasureFn 0 and AngularDegree orientation Object, Object and North
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3585-3587 courseWRTTrueNorth Object, Object and MeasureFn 360 and AngularDegree orientation Object, Object and North
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3491-3495 orientation Object, Object and Northeast orientation Object, Object and North orientation Object, Object and East
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3526-3530 orientation Object, Object and Northwest orientation Object, Object and North orientation Object, Object and West
(=>
    (instance
        (LatitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))
Geography.kif 421-425


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners