Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AngularDegree
AngularDegree(angular degree)arcdegree, degree

appearance as argument number 1
-------------------------


(instance AngularDegree UnitOfAngularMeasure) Merge.kif 7497-7497 Angular degree is an instance of unit of angular measure
(documentation AngularDegree EnglishLanguage "A plane angle measure.") Merge.kif 7499-7499 Angular degree is an instance of unit of angular measure

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage AngularDegree "angular degree") domainEnglishFormat.kif 7529-7529
(termFormat ChineseTraditionalLanguage AngularDegree "圓周角度") domainEnglishFormat.kif 7530-7530
(termFormat ChineseLanguage AngularDegree "圆周角度") domainEnglishFormat.kif 7531-7531

antecedent
-------------------------


(=>
    (equal ?QUANT
        (MeasureFn ?N AngularDegree))
    (instance ?QUANT PlaneAngleMeasure))		 Merge.kif 7501-7503 If equal X and Y angular degree(s), then X is an instance of plane angle measure
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER AngularDegree))
    (and
        (greaterThanOrEqualTo ?NUMBER 0.0)
        (lessThanOrEqualTo ?NUMBER 360.0)))		 Merge.kif 7509-7513 If the measure of X is Y angular degree(s), then Y is greater than or equal to 0.0 and Y is less than or equal to 360.0
(=>
    (and
        (equal ?O ObliqueAngle)
        (angularMeasure ?O
            (MeasureFn ?N AngularDegree)))
    (greaterThan ?N 90.0))		 Mid-level-ontology.kif 5617-5622 If equal X and oblique angle and Y angular degree(s) is an angular measure of X, then Y is greater than 90.0
(=>
    (and
        (equal ?R RightAngle)
        (angularMeasure ?R
            (MeasureFn ?N AngularDegree)))
    (equal ?N 90.0))		 Mid-level-ontology.kif 5629-5634 If equal X and at a right angle to and Y angular degree(s) is an angular measure of X, then equal Y and 90.0
(=>
    (and
        (equal ?A AcuteAngle)
        (angularMeasure ?A
            (MeasureFn ?N AngularDegree)))
    (lessThan ?N 90.0))		 Mid-level-ontology.kif 5640-5645 If equal X and acute angle and Y angular degree(s) is an angular measure of X, then Y is less than 90.0
(=>
    (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 5939-5948 If equal X and minor arc, the size of Y is X, equal Y and circle sector, Z is the angle found in Y, and W angular degree(s) is an angular measure of Z, then W is greater than 0 and W is less than 180
(=>
    (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 5955-5964 If equal X and Major arc, the size of Y is X, equal Y and circle sector, Z is the angle found in Y, and W angular degree(s) is an angular measure of Z, then W is greater than 180 and W is less than 360
(=>
    (equal Equator
        (LatitudeFn ?DIR
            (MeasureFn 0 AngularDegree)))
    (or
        (equal ?DIR North)
        (equal ?DIR South)))		 Geography.kif 1581-1587 If equal equator and the region X of 0 angular degree(s), then equal X and north of or equal X and south of
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER AngularDegree))
    (greaterThanOrEqualTo ?NUMBER 0.0))		 Geography.kif 1838-1840 If the measure of X is Y angular degree(s), then Y is greater than or equal to 0.0
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER AngularDegree))
    (lessThanOrEqualTo ?NUMBER 360.0))		 Geography.kif 1842-1844 If the measure of X is Y angular degree(s), then Y is less than or equal to 360.0
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcMinute)))		 Geography.kif 1858-1860 The measure of X is Y angular degree(s) if and only if the measure of X is 60.0 and Y arc minute(s)
(=>
    (and
        (instance
            (LatitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 90.0))		 Geography.kif 1905-1909 If the region X of @ROW is an instance of region and equal 1th element of (@ROW) and Z angular degree(s), then Z is less than or equal to 90.0
(=>
    (and
        (instance
            (LongitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 180.0))		 Geography.kif 1943-1950 If the meridian at @ROW Y is an instance of region and equal 1th element of (@ROW) and Z angular degree(s), then Z is less than or equal to 180.0
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 5159-5161 X courseWRT true north Y for 0.0 angular degree(s) if and only if X is north of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))		 Geography.kif 5163-5165 X courseWRT true north Y for 90.0 angular degree(s) if and only if X is east of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))		 Geography.kif 5167-5169 X courseWRT true north Y for 180.0 angular degree(s) if and only if X is south of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))		 Geography.kif 5171-5173 X courseWRT true north Y for 270.0 angular degree(s) if and only if X is west of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 5175-5177 X courseWRT true north Y for 360.0 angular degree(s) if and only if X is north of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))		 Geography.kif 5179-5181 X courseWRT true north Y for 45.0 angular degree(s) if and only if X is northeast of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))		 Geography.kif 5183-5185 X courseWRT true north Y for 135.0 angular degree(s) if and only if X is southeast of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))		 Geography.kif 5187-5189 X courseWRT true north Y for 225.0 angular degree(s) if and only if X is southwest of to Y
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))		 Geography.kif 5191-5193 X courseWRT true north Y for 315.0 angular degree(s) if and only if X is northwest of to Y
(=>
    (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 5220-5232 If X is an instance of geographic area, X is object geographic coordinates Y for Z, and equal W angular degree(s) and Location on Earth at Latitude Y and Longitude Z has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists V such that V angular degree(s) is a headingWRT magnetic north of X and (V and W) angular degree(s) is a headingWRT true north of X
(=>
    (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 5236-5248 If X is an instance of geographic area, X is object geographic coordinates Y for Z, and equal W angular degree(s) and Location on Earth at Latitude Y and Longitude Z has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists V such that V angular degree(s) is a headingWRT true north of X and (V and W) angular degree(s) is a headingWRT magnetic north of X
(=>
    (and
        (instance ?S Shooting)
        (attribute ?S HighAngleFire)
        (angleOfFire ?S
            (MeasureFn ?A AngularDegree)))
    (and
        (greaterThanOrEqualTo ?A 45)
        (lessThanOrEqualTo ?A 90)))		 MilitaryDevices.kif 294-302 If X is an instance of shooting, high angle fire is an attribute of X, and the angleOfFire of X Y angular degree(s) is Y angular degree(s), then Y is greater than or equal to 45 and Y is less than or equal to 90

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (and
        (instance ?A CentralAngle)
        (angleOfFigure ?A ?C)
        (equal ?C Circle))
    (angularMeasure ?A
        (MeasureFn 360 AngularDegree)))		 Mid-level-ontology.kif 5926-5931 If X is an instance of central angle, X is the angle found in Y, and equal Y and circle, then 360 angular degree(s) is an angular measure of X
(=>
    (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 1911-1918 If equal X and north of or equal X and south of, then the length of the region X of 0.0 angular degree(s) is 1.0 nautical mile(s)
(=>
    (and
        (instance ?PLACE GeographicArea)
        (located ?PLACE 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 9.4 ArcSecond)))
            (instance ?DIR DirectionalAttribute)
            (or
                (equal ?DIR North)
                (equal ?DIR South)))))		 Geography.kif 5021-5040 If X is an instance of geographic area and X is located at tropics, then there exist Y, Z,, , W,, , V and U such that X is object geographic coordinates Y U(s) for Z and U is an instance of unit of angular measure and Y is less than V and equal V U(s) and the region W of 23.0 angular degree(s) and W is an instance of directional attribute and equal W and north of or equal W and south of
(=>
    (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 5220-5232 If X is an instance of geographic area, X is object geographic coordinates Y for Z, and equal W angular degree(s) and Location on Earth at Latitude Y and Longitude Z has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists V such that V angular degree(s) is a headingWRT magnetic north of X and (V and W) angular degree(s) is a headingWRT true north of X
(=>
    (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 5236-5248 If X is an instance of geographic area, X is object geographic coordinates Y for Z, and equal W angular degree(s) and Location on Earth at Latitude Y and Longitude Z has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists V such that V angular degree(s) is a headingWRT true north of X and (V and W) angular degree(s) is a headingWRT magnetic north of X
(=>
    (instance ?G ArtilleryCannon)
    (hasPurpose ?G
        (exists (?S ?X)
            (and
                (instance ?S Shooting)
                (instrument ?S ?G)
                (angleOfFire ?S
                    (MeasureFn ?X AngularDegree))
                (greaterThanOrEqualTo ?X 0)
                (lessThanOrEqualTo ?X 45)))))		 MilitaryDevices.kif 177-187 If X is an instance of artillery cannon, then X has the purpose there exist Y and Z such that Y is an instance of shooting and X is an instrument for Y and the angleOfFire of Y Z angular degree(s) is Z angular degree(s) and Z is greater than or equal to 0 and Z is less than or equal to 45
(=>
    (instance ?G Howitzer)
    (hasPurpose ?G
        (exists (?S ?X)
            (and
                (instance ?S Shooting)
                (instrument ?S ?G)
                (angleOfFire ?S
                    (MeasureFn ?X AngularDegree))
                (greaterThanOrEqualTo ?X 0)
                (lessThanOrEqualTo ?X 90)))))		 MilitaryDevices.kif 207-217 If X is an instance of howitzer, then X has the purpose there exist Y and Z such that Y is an instance of shooting and X is an instrument for Y and the angleOfFire of Y Z angular degree(s) is Z angular degree(s) and Z is greater than or equal to 0 and Z is less than or equal to 90
(=>
    (instance ?G MortarGun)
    (hasPurpose ?G
        (exists (?S ?X)
            (and
                (instance ?S Shooting)
                (instrument ?S ?G)
                (angleOfFire ?S
                    (MeasureFn ?X AngularDegree))
                (greaterThanOrEqualTo ?X 45)
                (lessThanOrEqualTo ?X 90)))))		 MilitaryDevices.kif 230-240 If X is an instance of mortar gun, then X has the purpose there exist Y and Z such that Y is an instance of shooting and X is an instrument for Y and the angleOfFire of Y Z angular degree(s) is Z angular degree(s) and Z is greater than or equal to 45 and Z is less than or equal to 90
(=>
    (and
        (pitch ?V
            (MeasureFn ?X AngularDegree))
        (instance ?V Aircraft))
    (exists (?A ?B)
        (and
            (longitudinalAxis ?A ?V)
            (centerOfMass ?B ?V)
            (planeAngleMeasure ?A
                (LevelPlaneFn ?B PlanetEarth)
                (MeasureFn ?X AngularDegree)))))		 Transportation.kif 3240-3250 If X is heading at Y angular degree(s) degree from its level of plane axis. and X is an instance of aircraft, then there exist Z and W such that Z is the longitudinalAxis of X and W is the centerOfMass of X and the angle between Z and the PlaneInSpace is perpendicular to the line formed by W and the centre of the AstronomicalBody. is Y angular degree(s)
(=>
    (and
        (yaw ?V
            (MeasureFn ?X AngularDegree))
        (instance ?V Aircraft))
    (exists (?A ?T ?P)
        (and
            (longitudinalAxis ?A ?V)
            (instance ?T Translocation)
            (patient ?T ?V)
            (path ?T ?P)
            (planeAngleMeasure ?A ?P
                (MeasureFn ?X AngularDegree)))))		 Transportation.kif 3279-3290 If X is heading at Y angular degree(s) of its longitudinalAxis. and X is an instance of aircraft, then there exist Z, W and V such that Z is the longitudinalAxis of X and W is an instance of translocation and X is a patient of W and V is path along which W occurs and the angle between Z and V is Y angular degree(s)
(=>
    (and
        (roll ?V
            (MeasureFn ?X AngularDegree))
        (instance ?V Aircraft))
    (exists (?A ?B)
        (and
            (transverseAxis ?A ?V)
            (centerOfMass ?B ?V)
            (planeAngleMeasure ?A
                (LevelPlaneFn ?B PlanetEarth)
                (MeasureFn ?X AngularDegree)))))		 Transportation.kif 3320-3330 If X is rolling at Y angular degree(s) of its longitudinalAxis. and X is an instance of aircraft, then there exist Z and W such that Z is the transverseAxis of X and W is the centerOfMass of X and the angle between Z and the PlaneInSpace is perpendicular to the line formed by W and the centre of the AstronomicalBody. is Y angular degree(s)
(=>
    (and
        (instance ?M Motion)
        (moves ?M ?R)
        (instance ?R FlightRudder)
        (part ?R ?P)
        (instance ?P Airplane)
        (direction ?M Right))
    (exists (?X)
        (and
            (yaw ?P
                (MeasureFn ?X AngularDegree))
            (greaterThan ?X 0))))		 Transportation.kif 3646-3657 If All of the following hold: (1) X is an instance of motion (2) Y moves during X (3) Y is an instance of flight rudder (4) Y is a part of Z (5) Z is an instance of airplane (6) entities in the process X are moving right of, then there exists W such that Z is heading at W angular degree(s) of its longitudinalAxis. and W is greater than 0
(=>
    (and
        (instance ?M Motion)
        (moves ?M ?R)
        (instance ?R FlightRudder)
        (part ?R ?P)
        (instance ?P Airplane)
        (direction ?M Left))
    (exists (?X)
        (and
            (yaw ?P
                (MeasureFn ?X AngularDegree))
            (lessThan ?X 0))))		 Transportation.kif 3659-3670 If All of the following hold: (1) X is an instance of motion (2) Y moves during X (3) Y is an instance of flight rudder (4) Y is a part of Z (5) Z is an instance of airplane (6) entities in the process X are moving left of, then there exists W such that Z is heading at W angular degree(s) of its longitudinalAxis. and W is less than 0
(=>
    (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 1052-1071 If X is an instance of tropical cyclonic system, X originates at Y, and At least one of the following holds: (1) Y is an instance of north atlantic ocean (2) Y is an instance of pacific ocean (3) Y is an instance of indian ocean, then there don't exist Z, W,, , V and U such that Z is located at Y and W is an instance of directional attribute and Z is object geographic coordinates the region W of V angular degree(s) for U and equal W and north of or equal W and south of and V is less than 5.0

statement
-------------------------


(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))		 Merge.kif 7505-7507 equal X angular degree(s) and X and pi and 180.0 radian(s)
(equal ArcticCircle
    (LatitudeFn North
        (MeasureFn 66.0 AngularDegree)
        (MeasureFn 33.0 ArcMinute)
        (MeasureFn 50.6 ArcSecond)))		 Geography.kif 1601-1605 equal Arctic Circle and the region north of of 66.0 angular degree(s)
(equal TropicOfCancer
    (LatitudeFn North
        (MeasureFn 23.0 AngularDegree)
        (MeasureFn 26.0 ArcMinute)
        (MeasureFn 9.4 ArcSecond)))		 Geography.kif 1617-1621 equal Tropic of Cancer and the region north of of 23.0 angular degree(s)
(equal TropicOfCapricorn
    (LatitudeFn South
        (MeasureFn 23.0 AngularDegree)
        (MeasureFn 26.0 ArcMinute)
        (MeasureFn 9.4 ArcSecond)))		 Geography.kif 1633-1637 equal Tropic of Capricorn and the region south of of 23.0 angular degree(s)
(equal AntarcticCircle
    (LatitudeFn South
        (MeasureFn 66.0 AngularDegree)
        (MeasureFn 33.0 ArcMinute)
        (MeasureFn 50.6 ArcSecond)))		 Geography.kif 1647-1651 equal Antarctic Circle and the region south of of 66.0 angular degree(s)
(equal
    (MeasureFn 1.0 AngularDegree)
    (MeasureFn 60.0 ArcMinute))		 Geography.kif 1862-1862 equal 1.0 angular degree(s) and 60.0 arc minute(s)
(equal
    (MeasureFn ?NUM AngularDegree)
    (MeasureFn
        (MultiplicationFn 60.0 ?NUM) ArcMinute))		 Geography.kif 1863-1863 equal X angular degree(s) and 60.0 and X arc minute(s)
(equal NorthPole
    (LatitudeFn North
        (MeasureFn 90 AngularDegree)))		 Geography.kif 5284-5287 equal North Pole and the region north of of 90 angular degree(s)
(equal SouthPole
    (LatitudeFn South
        (MeasureFn 90 AngularDegree)))		 Geography.kif 5314-5317 equal South Pole and the region south of of 90 angular degree(s)
(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 6204-6211 The geographic center of southern ocean is object geographic coordinates the region south of of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east of
(objectGeographicCoordinates NullIsland
    (MeasureFn 0 AngularDegree)
    (MeasureFn 0 AngularDegree))		 Geography.kif 6768-6770 Null island is object geographic coordinates 0 angular degree(s) for 0 angular degree(s)


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners