consequent

(=>     (and         (elevation ?OBJECT ?HEIGHT)         (located ?OBJECT ?PLACE)         (instance ?PLACE GeographicArea))     (superficialPart ?PLACE PlanetEarth))	Geography.kif 3358-3363	If X is an elevation of Y, Y is located at Z, and Z is an instance of geographic area, then Z is a superficial part of planet earth
(<=>     (earthAltitude ?OBJ ?ALT)     (exists (?SEA)         (and             (altitude ?OBJ ?SEA ?ALT)             (surface ?SEA PlanetEarth))))	Geography.kif 4213-4218	X is Y above the ground if, only if there exists Z such that the altitude of X relative to Z is Y, and Z is a surface of planet earth
(=>     (instance ?M Meteorite)     (exists (?T)         (holdsDuring ?T             (meetsSpatially ?M PlanetEarth))))	Geography.kif 4832-4836	If X is an instance of meteorite, then there exists Y such that X meets planet earth holds during Y
(=>     (instance ?AREA Hemisphere)     (geographicSubregion ?AREA PlanetEarth))	Geography.kif 4864-4866	If X is an instance of hemisphere, then X is a geographic subregion of planet earth
(=>     (instance ?AREA Continent)     (geographicSubregion ?AREA PlanetEarth))	Geography.kif 4911-4913	If X is an instance of continent, then X is a geographic subregion of planet earth
(=>     (and         (verticalAxis ?X PlanetEarth)         (instance ?R Rotating)         (rotationalAxis ?R ?X)         (betweenOnPath NorthPole ?C SouthPole ?X))     (centerOfMass ?C PlanetEarth))	Geography.kif 5276-5282	If X is the verticalAxis of planet earth, Y is an instance of rotating, X is the axis of Y, and Z is between North Pole and South Pole on path X, then Z is the centerOfMass of planet earth
(=>     (instance ?place UndergroundArea)     (exists (?area ?ground)         (and             (surface ?ground PlanetEarth)             (part ?area ?ground)             (orientation ?place ?area Below))))	Geography.kif 5504-5510	If X is an instance of underground area, then there exist Y, Z such that Z is a surface of planet earth, Y is a part of Z, and X is below to Y
(=>     (and         (angleOfFire ?S ?A)         (instrument ?S ?G)         (instance ?G Gun)         (part ?B ?G)         (instance ?B GunBarrel)         (instance ?L FiniteLineInSpace)         (endPointsOfLineInSpace ?P1 ?P2 ?L)         (objectEnds ?P1 ?P2 ?B)         (eventLocated ?S ?R)         (instance ?R GeographicArea)         (part ?P ?R))     (planeAngleMeasure ?L         (LevelPlaneFn ?P PlanetEarth) ?A))	MilitaryDevices.kif 258-272	If All of the following hold: (1) the angleOfFire of X Y is Y (2) Z is an instrument for X (3) Z is an instance of gun (4) W is a part of Z (5) W is an instance of gun barrel (6) V is an instance of finite line in space (7) U and T are end points of V (8) U and T are the end PointInSpace of object W (9) X is located at S (10) S is an instance of geographic area (11) R is a part of S, then the angle between V, the PlaneInSpace is perpendicular to the line formed by R, and the centre of the AstronomicalBody. is Y
(=>     (and         (instance ?MEASURE Measuring)         (patient ?MEASURE ?OBJ)         (result ?MEASURE ?QUANTITY)         (instrument ?MEASURE ?ABSOLUTEMETER)         (instance ?ABSOLUTEMETER AbsoluteAltimeter))     (exists (?OBJ2)         (and             (altitude ?OBJ ?OBJ2 ?QUANTITY)             (surface ?OBJ2 PlanetEarth))))	MilitaryDevices.kif 1598-1608	If X is an instance of measuring, Y is a patient of X, Z is a result of X, W is an instrument for X, and W is an instance of absolute altimeter, then there exists V such that the altitude of Y relative to V is Z and V is a surface of planet earth
(=>     (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         (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)

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

Show without tree

---

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