North |
appearance as argument number 1 |
(contraryAttribute North South East West) | Merge.kif 17034-17034 | North e' &o oposto de South |
(documentation North ChineseLanguage "这是罗盘方向 North.") | chinese_format.kif 3804-3804 | |
(documentation North EnglishLanguage "The compass direction of North.") | Merge.kif 17035-17035 | |
(externalImage North "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") | pictureList.kif 1870-1870 | |
(instance North DirectionalAttribute) | Merge.kif 17033-17033 | North e' uma instancia de Atributo Directional |
(oppositeDirection North South) | Mid-level-ontology.kif 18132-18132 | oppositeDirection North and South |
appearance as argument number 2 |
(termFormat ChineseLanguage North "北") | domainEnglishFormat.kif 40947-40947 | |
(termFormat ChineseTraditionalLanguage North "北") | domainEnglishFormat.kif 40946-40946 | |
(termFormat EnglishLanguage North "north") | domainEnglishFormat.kif 40945-40945 |
appearance as argument number 3 |
(orientation CaribbeanRegion SouthAmerica North) | Geography.kif 289-289 | CaribbeanRegion e' North em relacao a SouthAmerica |
(orientation Europe Africa North) | Geography.kif 275-275 | Europe e' North em relacao a Africa |
(orientation MiddleAmerica SouthAmerica North) | Geography.kif 287-287 | MiddleAmerica e' North em relacao a SouthAmerica |
(orientation NorthAmerica SouthAmerica North) | Geography.kif 278-278 | NorthAmerica e' North em relacao a SouthAmerica |
(orientation Scotland England North) | Geography.kif 6951-6951 | Scotland e' North em relacao a England |
(orientation Scotland Wales North) | Geography.kif 6964-6964 | Scotland e' North em relacao a Wales |
antecedent |
(<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South)) |
Merge.kif 17040-17042 | Objeto e' North em relacao a Objeto Objeto e' South em relacao a Objeto |
(=> (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 |