![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation AngularDegree ChineseLanguage "这是一种量度平面角度的单位。") | chinese_format.kif 2618-2618 | |
(documentation AngularDegree EnglishLanguage "A plane angle measure.") | Merge.kif 7405-7405 | |
(documentation AngularDegree JapaneseLanguage "平面角度メジャー。") | japanese_format.kif 1332-1332 | |
(instance AngularDegree UnitOfAngularMeasure) | Merge.kif 7403-7403 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage AngularDegree "圆周角度") | domainEnglishFormat.kif 7537-7537 | |
(termFormat ChineseTraditionalLanguage AngularDegree "圓周角度") | domainEnglishFormat.kif 7536-7536 | |
(termFormat EnglishLanguage AngularDegree "angular degree") | domainEnglishFormat.kif 7535-7535 |
antecedent |
![]() |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 0.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 4027-4029 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 135.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 4051-4053 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 4035-4037 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 225.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 4055-4057 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 4039-4041 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 4059-4061 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 4043-4045 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 4047-4049 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 4031-4033 | |
(<=> (measure ?OBJ (MeasureFn ?DEG AngularDegree)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcMinute))) |
Geography.kif 686-688 | |
(=> (and (equal ?A AcuteAngle) (angularMeasure ?A (MeasureFn ?N AngularDegree))) (lessThan ?N 90.0)) |
Mid-level-ontology.kif 5493-5498 | |
(=> (and (equal ?MAJ MajorArc) (sideOfFigure ?MAJ ?S) (equal ?S CircleSector) (angleOfFigure ?A ?S) (angularMeasure ?A (MeasureFn ?X AngularDegree))) (and (greaterThan ?X 180) (lessThan ?X 360))) |
Mid-level-ontology.kif 5798-5807 | |
(=> (and (equal ?MIN MinorArc) (sideOfFigure ?MIN ?S) (equal ?S CircleSector) (angleOfFigure ?A ?S) (angularMeasure ?A (MeasureFn ?X AngularDegree))) (and (greaterThan ?X 0) (lessThan ?X 180))) |
Mid-level-ontology.kif 5782-5791 | |
(=> (and (equal ?O ObliqueAngle) (angularMeasure ?O (MeasureFn ?N AngularDegree))) (greaterThan ?N 90.0)) |
Mid-level-ontology.kif 5471-5476 | |
(=> (and (equal ?R RightAngle) (angularMeasure ?R (MeasureFn ?N AngularDegree))) (equal ?N 90.0)) |
Mid-level-ontology.kif 5482-5487 | |
(=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90.0)) |
Geography.kif 735-739 | |
(=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180.0)) |
Geography.kif 775-782 | |
(=> (and (instance ?AREA GeographicArea) (objectGeographicCoordinates ?AREA ?LAT ?LONG) (equal (MeasureFn ?DEG AngularDegree) (MagneticDeclinationFn ?LAT ?LONG))) (exists (?MN) (and (headingWRTMagneticNorth ?AREA (MeasureFn ?MN AngularDegree)) (headingWRTTrueNorth ?AREA (MeasureFn (AdditionFn ?MN ?DEG) AngularDegree))))) |
Geography.kif 4088-4100 | |
(=> (and (instance ?AREA GeographicArea) (objectGeographicCoordinates ?AREA ?LAT ?LONG) (equal (MeasureFn ?DEG AngularDegree) (MagneticDeclinationFn ?LAT ?LONG))) (exists (?TN) (and (headingWRTTrueNorth ?AREA (MeasureFn ?TN AngularDegree)) (headingWRTMagneticNorth ?AREA (MeasureFn (SubtractionFn ?TN ?DEG) AngularDegree))))) |
Geography.kif 4104-4116 | |
(=> (equal ?QUANT (MeasureFn ?N AngularDegree)) (instance ?QUANT PlaneAngleMeasure)) |
Merge.kif 7407-7409 | |
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (and (greaterThanOrEqualTo ?NUMBER 0.0) (lessThanOrEqualTo ?NUMBER 360.0))) |
Merge.kif 7415-7419 | |
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (greaterThanOrEqualTo ?NUMBER 0.0)) |
Geography.kif 666-668 | |
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (lessThanOrEqualTo ?NUMBER 360.0)) |
Geography.kif 670-672 |
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn 1.0 AngularDegree) (MeasureFn 60.0 ArcMinute)) |
Geography.kif 690-690 | |
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute)) |
Geography.kif 691-691 | |
(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7411-7413 | |
(equal NorthPole (LatitudeFn North (MeasureFn 90 AngularDegree))) |
Geography.kif 4141-4144 | |
(equal SouthPole (LatitudeFn South (MeasureFn 90 AngularDegree))) |
Geography.kif 4168-4171 | |
(objectGeographicCoordinates (GeographicCenterFn SouthernOcean) (LatitudeFn South (MeasureFn 65.0 AngularDegree) (MeasureFn 0.0 ArcMinute)) (LongitudeFn East (MeasureFn 0.0 AngularDegree) (MeasureFn 0.0 ArcMinute))) |
Geography.kif 5040-5047 | |
(objectGeographicCoordinates NullIsland (MeasureFn 0 AngularDegree) (MeasureFn 0 AngularDegree)) |
Geography.kif 5604-5606 |
![]() |
![]() |