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 17012-17012 相反的屬性 北, 南, 東 and 西方
(documentation North ChineseLanguage "这是罗盘方向 North.") chinese_format.kif 3804-3804
(documentation North EnglishLanguage "The compass direction of North.") Merge.kif 17013-17013
(externalImage North "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") pictureList.kif 1870-1870
(instance North DirectionalAttribute) Merge.kif 17011-17011 例 北 and DirectionalAttribute
(oppositeDirection North South) Mid-level-ontology.kif 18133-18133 南 是 北 的 opposite 方向

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 方位 加勒比地區, 南美洲 and 北
(orientation Europe Africa North) Geography.kif 275-275 方位 歐洲, 非洲 and 北
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 方位 中美洲, 南美洲 and 北
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 方位 北美, 南美洲 and 北
(orientation Scotland England North) Geography.kif 6951-6951 方位 蘇格蘭, England and 北
(orientation Scotland Wales North) Geography.kif 6964-6964 方位 蘇格蘭, Wales and 北

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


(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))		 Merge.kif 17018-17020 方位 Object, Object and 北 方位 Object, Object and 南
(=>
    (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 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 北
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3747-3749 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 北
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3653-3657 方位 Object, Object and 東北 方位 Object, Object and 北 方位 Object, Object and 東
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3688-3692 方位 Object, Object and 西北 方位 Object, Object and 北 方位 Object, Object and 西方
(=>
    (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 627-646
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners