|
|
  North
|
|
|
| appearance as argument number 1 |
|
|
| (contraryAttribute North South East West) | Merge.kif 16731-16731 | |
| (documentation North ChineseLanguage "这是罗盘方向 North.") | chinese_format.kif 3804-3804 | |
| (documentation North EnglishLanguage "The compass direction of North.") | Merge.kif 16732-16732 | |
| (externalImage North "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png") | pictureList.kif 1871-1871 | |
| (instance North DirectionalAttribute) | Merge.kif 16730-16730 | |
| (oppositeDirection North South) | Mid-level-ontology.kif 17518-17518 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage North "北") | domainEnglishFormat.kif 40932-40932 | |
| (termFormat ChineseTraditionalLanguage North "北") | domainEnglishFormat.kif 40931-40931 | |
| (termFormat EnglishLanguage North "north") | domainEnglishFormat.kif 40930-40930 |
| appearance as argument number 3 |
|
|
| (orientation CaribbeanRegion SouthAmerica North) | Geography.kif 289-289 | |
| (orientation Europe Africa North) | Geography.kif 275-275 | |
| (orientation MiddleAmerica SouthAmerica North) | Geography.kif 287-287 | |
| (orientation NorthAmerica SouthAmerica North) | Geography.kif 278-278 | |
| (orientation Scotland England North) | Geography.kif 6639-6639 | |
| (orientation Scotland Wales North) | Geography.kif 6652-6652 |
| antecedent |
|
|
| (<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South)) |
Merge.kif 16737-16739 | |
| (=> (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 3653-3655 | |
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3669-3671 | |
| (<=> (orientation ?OBJ1 ?OBJ2 Northeast) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3575-3579 | |
| (<=> (orientation ?OBJ1 ?OBJ2 Northwest) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3610-3614 | |
| (=> (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 3517-3537 | |
| (=> (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 627-646 | |
| (=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South))) |
Geography.kif 421-425 |
|
|
|
