Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| endPointsOfLineInSpace |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?P1 PointInSpace) (instance ?P2 PointInSpace) (not (equal ?P1 ?P2)) (instance ?L FiniteLineInSpace) (part ?P1 ?L) (part ?P2 ?L) (endPointsOfLineInSpace ?P1 ?P2 ?L) (length ?L (MeasureFn ?X ?U)) (instance ?U UnitOfLength) (distance ?P1 ?P2 (MeasureFn ?Y ?U))) (equal ?X ?Y)) |
Mid-level-ontology.kif 27962-27977 | If All of the following hold: (1) X is an instance of point in space (2) Y is an instance of point in space (3) equal X and Y (4) Z is an instance of finite line in space (5) X is a part of Z (6) Y is a part of Z (7) X and Y are end points of Z (8) the length of Z is W V(s) (9) V is an instance of unit of length (10) the distance between X and Y is U V(s), then equal W and U |
| (=> (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 |
| consequent |
|
|
| (=> (and (equal ?PLANE (LevelPlaneFn ?P ?A)) (part ?P ?R) (instance ?R Region) (located ?R ?A)) (exists (?L) (and (instance ?L LineInSpace) (endPointsOfLineInSpace ?P (CenterOfPlanetFn ?A) ?L) (orientation ?PLANE ?L RightAngle)))) |
Mid-level-ontology.kif 28070-28082 | If equal X, the PlaneInSpace is perpendicular to the line formed by Y, and the centre of the AstronomicalBody., Y is a part of Z, Z is an instance of region, and Z is located at W, then there exists V such that V is an instance of line in space, Y, the centre of AstronomicalBody W is are end points of V, and X is at a right angle to to V |
| (=> (and (objectEnds ?P1 ?P2 ?O) (part ?P1 ?O) (part ?P2 ?O)) (exists (?L) (and (instance ?L FiniteLineInSpace) (endPointsOfLineInSpace ?P1 ?P2 ?L)))) |
Mid-level-ontology.kif 28127-28135 | If X and Y are the end PointInSpace of object Z, X is a part of Z, and Y is a part of Z, then there exists W such that W is an instance of finite line in space, X, and Y are end points of W |
|