Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| objectEnds |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage objectEnds "object ends") | Mid-level-ontology.kif 28119-28119 | |
| (format EnglishLanguage objectEnds "%1 and %2 are the end PointInSpace of object %3") | Mid-level-ontology.kif 28120-28120 |
| antecedent |
|
|
| (=> (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 |
| (=> (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 |
|