North![]() | ![]() |
appearance as argument number 1 |
![]() |
(contraryAttribute North South East West) | Merge.kif 17187-17187 | North は South の disjoint では |
(documentation North ChineseLanguage "这是罗盘方向 North.") | chinese_format.kif 3804-3804 | North は South の disjoint では |
(documentation North EnglishLanguage "The compass direction of North.") | Merge.kif 17188-17188 | North は South の disjoint では |
(externalImage North "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") | pictureList.kif 1869-1869 | North は South の disjoint では |
(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 | CaribbeanRegion は North 対 SouthAmerica では |
(orientation Europe Africa North) | Geography.kif 275-275 | Europe は North 対 Africa では |
(orientation MediterraneanSea SaharaDesert North) | Geography.kif 6951-6951 | MediterraneanSea は North 対 SaharaDesert では |
(orientation MiddleAmerica SouthAmerica North) | Geography.kif 287-287 | MiddleAmerica は North 対 SouthAmerica では |
(orientation NorthAmerica SouthAmerica North) | Geography.kif 278-278 | NorthAmerica は North 対 SouthAmerica では |
(orientation SaharaDesert Sahel North) | Geography.kif 6969-6969 | SaharaDesert は North 対 Sahel では |
(orientation Scotland England North) | Geography.kif 7288-7288 | Scotland は North 対 England では |
(orientation Scotland Wales North) | Geography.kif 7301-7301 | Scotland は North 対 Wales では |
(orientation SouthernFrance GulfOfLion North) | Geography.kif 338-338 | SouthernFrance は North 対 GulfOfLion では |
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 |
![]() |
statement |
![]() |
(equal NorthPole (LatitudeFn North (MeasureFn 90 AngularDegree))) |
Geography.kif 4003-4006 | equal NorthPole and LatitudeFn North and 90 の AngularDegree(s) |
![]() |
![]() |