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

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


(termFormat ChineseLanguage North "北") domainEnglishFormat.kif 40977-40977
(termFormat ChineseTraditionalLanguage North "北") domainEnglishFormat.kif 40976-40976
(termFormat EnglishLanguage North "north") domainEnglishFormat.kif 40975-40975

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


(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 CaribbeanRegion は North 対 SouthAmerica では %n
(orientation Europe Africa North) Geography.kif 275-275 Europe は North 対 Africa では %n
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 MiddleAmerica は North 対 SouthAmerica では %n
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 NorthAmerica は North 対 SouthAmerica では %n
(orientation Scotland England North) Geography.kif 7019-7019 Scotland は North 対 England では %n
(orientation Scotland Wales North) Geography.kif 7032-7032 Scotland は North 対 Wales では %n

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


(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))		 Merge.kif 17114-17116 オブジェクト は North 対 オブジェクト では %n オブジェクト は South 対 オブジェクト では %n
(=>
    (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 3719-3721 courseWRTTrueNorth オブジェクト, オブジェクト and 0.0 の AngularDegree(s) オブジェクト は North 対 オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3735-3737 courseWRTTrueNorth オブジェクト, オブジェクト and 360.0 の AngularDegree(s) オブジェクト は North 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3641-3645 オブジェクト は Northeast 対 オブジェクト では %n オブジェクト は North 対 オブジェクト では %n オブジェクト は East 対 オブジェクト では %n
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3676-3680 オブジェクト は Northwest 対 オブジェクト では %n オブジェクト は North 対 オブジェクト では %n オブジェクト は West 対 オブジェクト では %n
(=>
    (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 3583-3603
(=>
    (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
(=>
    (instance
        (LatitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))		 Geography.kif 421-425