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


KB Term:  Term intersection
English Word: 

Sigma KEE - FiniteLineInSpace
FiniteLineInSpace(finite line in space)

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


(subclass FiniteLineInSpace LineInSpace) Mid-level-ontology.kif 27945-27945 Finite line in space is a subclass of line in space
(documentation FiniteLineInSpace EnglishLanguage "FiniteLineInSpace is a LineInSpace with two end points.") Mid-level-ontology.kif 27946-27947 Finite line in space is a subclass of line in space

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


(termFormat EnglishLanguage FiniteLineInSpace "finite line in space") Mid-level-ontology.kif 27948-27948
(relatedInternalConcept InfiniteLineInSpace FiniteLineInSpace) Mid-level-ontology.kif 27949-27949 InfiniteLineInSpace is internally related to finite line in space

appearance as argument number 3
-------------------------


(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

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
        (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 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners