North(north)![]() | ![]() | N, boreal, circumboreal, compass_north, due_north, magnetic_north, north, north-central, north_side, northbound, northerly, northern, northernmost, northernness, northmost, northward, northwards, septrional, upstate |
appearance as argument number 1 |
![]() |
(contraryAttribute North South East West) | Merge.kif 17187-17187 | North is the opposite of south |
(documentation North ChineseLanguage "这是罗盘方向 North.") | chinese_format.kif 3804-3804 | North is the opposite of south |
(documentation North EnglishLanguage "The compass direction of North.") | Merge.kif 17188-17188 | North is the opposite of south |
(externalImage North "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") | pictureList.kif 1869-1869 | North is the opposite of south |
(instance North DirectionalAttribute) | Merge.kif 17186-17186 | North is an instance of directional attribute |
(oppositeDirection North South) | Mid-level-ontology.kif 19704-19704 | South is an opposite direction of north |
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 | Caribbean region is north to south america |
(orientation Europe Africa North) | Geography.kif 275-275 | Europe is north to africa |
(orientation MediterraneanSea SaharaDesert North) | Geography.kif 6951-6951 | Mediterranean sea is north to Sahara Desert |
(orientation MiddleAmerica SouthAmerica North) | Geography.kif 287-287 | Middle america is north to south america |
(orientation NorthAmerica SouthAmerica North) | Geography.kif 278-278 | North america is north to south america |
(orientation SaharaDesert Sahel North) | Geography.kif 6969-6969 | Sahara Desert is north to Sahel |
(orientation Scotland England North) | Geography.kif 7288-7288 | Scotland is north to England |
(orientation Scotland Wales North) | Geography.kif 7301-7301 | Scotland is north to Wales |
(orientation SouthernFrance GulfOfLion North) | Geography.kif 338-338 | Southern France is north to Gulf Of Lion |
antecedent |
![]() |
(<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South)) |
Merge.kif 17193-17195 | An object is north to another object if and only if the other object is south to the object |
(=> (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 |
![]() |
statement |
![]() |
(equal NorthPole (LatitudeFn North (MeasureFn 90 AngularDegree))) |
Geography.kif 4003-4006 | equal North Pole and the region north of 90 angular degree(s) |
![]() |
![]() |