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 17187-17187 NorthSouthdisjoint では
(documentation North ChineseLanguage "这是罗盘方向 North.") chinese_format.kif 3804-3804 NorthSouthdisjoint では
(documentation North EnglishLanguage "The compass direction of North.") Merge.kif 17188-17188 NorthSouthdisjoint では
(externalImage North "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") pictureList.kif 1869-1869 NorthSouthdisjoint では
(instance North DirectionalAttribute) Merge.kif 17186-17186 North方向属性instance では
(oppositeDirection North South) Mid-level-ontology.kif 19704-19704 oppositeDirection North and South

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


(termFormat ChineseLanguage North "北") domainEnglishFormat.kif 40960-40960
(termFormat ChineseTraditionalLanguage North "北") domainEnglishFormat.kif 40959-40959
(termFormat EnglishLanguage North "north") domainEnglishFormat.kif 40958-40958

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


(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 CaribbeanRegionNorthSouthAmerica では
(orientation Europe Africa North) Geography.kif 275-275 EuropeNorthAfrica では
(orientation MediterraneanSea SaharaDesert North) Geography.kif 6951-6951 MediterraneanSeaNorthSaharaDesert では
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 MiddleAmericaNorthSouthAmerica では
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 NorthAmericaNorthSouthAmerica では
(orientation SaharaDesert Sahel North) Geography.kif 6969-6969 SaharaDesertNorthSahel では
(orientation Scotland England North) Geography.kif 7288-7288 ScotlandNorthEngland では
(orientation Scotland Wales North) Geography.kif 7301-7301 ScotlandNorthWales では
(orientation SouthernFrance GulfOfLion North) Geography.kif 338-338 SouthernFranceNorthGulfOfLion では

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


(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))
Merge.kif 17193-17195 オブジェクトNorth オブジェクト では オブジェクトSouth オブジェクト では
(=>
    (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 603-610

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3889-3891 courseWRTTrueNorth オブジェクト, オブジェクト and 0.0 の AngularDegree(s) オブジェクトNorth オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3905-3907 courseWRTTrueNorth オブジェクト, オブジェクト and 360.0 の AngularDegree(s) オブジェクトNorth オブジェクト では
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3811-3815 オブジェクトNortheast オブジェクト では オブジェクトNorth オブジェクト では オブジェクトEast オブジェクト では
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3846-3850 オブジェクトNorthwest オブジェクト では オブジェクトNorth オブジェクト では オブジェクトWest オブジェクト では
(=>
    (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 3753-3773
(=>
    (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 611-630
(=>
    (and
        (instance ?W Mistral)
        (eventLocated ?W ?A)
        (instance ?A GeographicArea)
        (origin ?W SouthernFrance)
        (destination ?W GulfOfLion))
    (and
        (geographicSubregion ?A MediterraneanRegion)
        (orientation ?A MediterraneanSea North)
        (geographicSubregion ?A SoutheasternEurope)))
Weather.kif 1639-1649
(=>
    (instance
        (LatitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))
Geography.kif 591-595