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

Formal Language: 



KB Term:  Term intersection
English Word: 

  North

 Sigma KEE - North
North

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


(contraryAttribute North South East West) Merge.kif 17034-17034 North wird South entgegengesetzet %n{nicht}
(documentation North ChineseLanguage "这是罗盘方向 North.") chinese_format.kif 3804-3804
(documentation North EnglishLanguage "The compass direction of North.") Merge.kif 17035-17035
(externalImage North "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") pictureList.kif 1870-1870
(instance North DirectionalAttribute) Merge.kif 17033-17033 North ist ein fall von DirectionalAttribute %n{nicht}
(oppositeDirection North South) Mid-level-ontology.kif 18132-18132 oppositeDirection North and South

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


(termFormat ChineseLanguage North "北") domainEnglishFormat.kif 40947-40947
(termFormat ChineseTraditionalLanguage North "北") domainEnglishFormat.kif 40946-40946
(termFormat EnglishLanguage North "north") domainEnglishFormat.kif 40945-40945

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


(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 CaribbeanRegion ist North hinsichlich SouthAmerica %n{nicht}
(orientation Europe Africa North) Geography.kif 275-275 Europe ist North hinsichlich Africa %n{nicht}
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 MiddleAmerica ist North hinsichlich SouthAmerica %n{nicht}
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 NorthAmerica ist North hinsichlich SouthAmerica %n{nicht}
(orientation Scotland England North) Geography.kif 6951-6951 Scotland ist North hinsichlich England %n{nicht}
(orientation Scotland Wales North) Geography.kif 6964-6964 Scotland ist North hinsichlich Wales %n{nicht}

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


(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))		 Merge.kif 17040-17042 Object ist North hinsichlich ** Object %n{nicht} genau dann wenn ** ** Object ist South hinsichlich ** Object %n{nicht}
(=>
    (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

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3731-3733 courseWRTTrueNorth Object, ** Object and 0.0 AngularDegree(s) genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht}
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3747-3749 courseWRTTrueNorth Object, ** Object and 360.0 AngularDegree(s) genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht}
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3653-3657 Object ist Northeast hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht} und ** Object ist East hinsichlich ** ** Object %n{nicht}
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3688-3692 Object ist Northwest hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht} und ** Object ist West hinsichlich ** ** Object %n{nicht}
(=>
    (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
(=>
    (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 623-642
(=>
    (instance
        (LatitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))		 Geography.kif 421-425


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