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 16731-16731 的相反
(documentation North ChineseLanguage "这是罗盘方向 North.") chinese_format.kif 3804-3804
(documentation North EnglishLanguage "The compass direction of North.") Merge.kif 16732-16732
(externalImage North "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png") pictureList.kif 1871-1871
(instance North DirectionalAttribute) Merge.kif 16730-16730 方向属性instance
(oppositeDirection North South) Mid-level-ontology.kif 17518-17518 opposite 方向

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


(termFormat ChineseLanguage North "北") domainEnglishFormat.kif 40932-40932
(termFormat ChineseTraditionalLanguage North "北") domainEnglishFormat.kif 40931-40931
(termFormat EnglishLanguage North "north") domainEnglishFormat.kif 40930-40930

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


(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 加勒比地区南美洲
(orientation Europe Africa North) Geography.kif 275-275 欧洲非洲
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 中美洲南美洲
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 北美南美洲
(orientation Scotland England North) Geography.kif 6639-6639 苏格兰England
(orientation Scotland Wales North) Geography.kif 6652-6652 苏格兰Wales

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


(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 16737-16739 客体另一个 客体 若且唯若 那个 另外 客体那个 客体
(=>
    (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 3653-3655 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3669-3671 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体另一个 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3575-3579 客体另一个 客体东北 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3610-3614 客体另一个 客体西北 若且唯若 那个 客体那个 另外 客体那个 客体那个 另外 客体西方
(=>
    (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 3517-3537
(=>
    (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