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


KB Term:  Term intersection
English Word: 

  endPointsOfLineInSpace

 Sigma KEE - endPointsOfLineInSpace
endPointsOfLineInSpace

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


(instance endPointsOfLineInSpace TernaryPredicate) Mid-level-ontology.kif 27951-27951 level plane is an instance of ternary predicate
(instance endPointsOfLineInSpace SpatialRelation) Mid-level-ontology.kif 27952-27952 level plane is an instance of spatial relation
(documentation endPointsOfLineInSpace EnglishLanguage "(endPointsOfLineInSpace ?POINT1 ?POINT2 ?LINE) means that ?POINT1 and ?POINT2 are the two end points of the FiniteLineInSpace of ?LINE.") Mid-level-ontology.kif 27953-27954 level plane is an instance of spatial relation
(domain endPointsOfLineInSpace 1 PointInSpace) Mid-level-ontology.kif 27957-27957 The number 1 argument of level plane is an instance of point in space
(domain endPointsOfLineInSpace 2 PointInSpace) Mid-level-ontology.kif 27958-27958 The number 2 argument of level plane is an instance of point in space
(domain endPointsOfLineInSpace 3 FiniteLineInSpace) Mid-level-ontology.kif 27959-27959 The number 3 argument of level plane is an instance of finite line in space
(relatedInternalConcept endPointsOfLineInSpace endPointsOfLine) Mid-level-ontology.kif 27960-27960 level plane is internally related to end points of line

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


(termFormat EnglishLanguage endPointsOfLineInSpace "level plane") Mid-level-ontology.kif 27955-27955
(format EnglishLanguage endPointsOfLineInSpace "%1 and %2 are end points of %3") Mid-level-ontology.kif 27956-27956
(relatedInternalConcept distanceOfParallelLinesInSpace endPointsOfLineInSpace) Mid-level-ontology.kif 28001-28001 distance of of parallel lines in space is internally related to level plane
(relatedInternalConcept objectEnds endPointsOfLineInSpace) Mid-level-ontology.kif 28124-28124 object ends is internally related to level plane

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


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