TreeView Knowledge Base Browser

appearance as argument number 3

(domain verticalAxis 1 LineInSpace)	Mid-level-ontology.kif 19335-19335	The number 1 argument of vertical axis is an instance of line in space
(domain longitudinalAxis 1 LineInSpace)	Mid-level-ontology.kif 19358-19358	The number 1 argument of longitudinal axis is an instance of line in space
(domain transverseAxis 1 LineInSpace)	Mid-level-ontology.kif 19381-19381	The number 1 argument of transverse axis is an instance of line in space
(domain rotationalAxis 2 LineInSpace)	Mid-level-ontology.kif 19407-19407	The number 2 argument of rotationalAxis is an instance of line in space
(domain parallelLinesInSpace 1 LineInSpace)	Mid-level-ontology.kif 27986-27986	The number 1 argument of parallel lines in space is an instance of line in space
(domain parallelLinesInSpace 2 LineInSpace)	Mid-level-ontology.kif 27987-27987	The number 2 argument of parallel lines in space is an instance of line in space
(domain distanceOfParallelLinesInSpace 1 LineInSpace)	Mid-level-ontology.kif 27998-27998	The number 1 argument of distance of of parallel lines in space is an instance of line in space
(domain distanceOfParallelLinesInSpace 2 LineInSpace)	Mid-level-ontology.kif 27999-27999	The number 2 argument of distance of of parallel lines in space is an instance of line in space
(domain planeAngleMeasure 1 LineInSpace)	Mid-level-ontology.kif 28142-28142	The number 1 argument of plane angle measure is an instance of line in space

antecedent

(=> (instance ?L LineInSpace) (exists (?P1 ?P2) (and (instance ?P1 PointInSpace) (instance ?P2 PointInSpace) (not (equal ?P1 ?P2)) (part ?P1 ?L) (part ?P2 ?L))))	Mid-level-ontology.kif 27920-27929	If X is an instance of line in space, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of point in space (3) Z is an instance of point in space (4) equal Y (5) Z (6) Y is a part of X (7) Z is a part of X
(=> (and (instance ?L1 LineInSpace) (instance ?L2 LineInSpace) (instance ?P1 PointInSpace) (instance ?P2 PointInSpace) (not (equal ?P1 ?P2)) (part ?P1 ?L1) (part ?P2 ?L1) (part ?P1 ?L2) (part ?P2 ?L2)) (equal ?L1 ?L2))	Mid-level-ontology.kif 27931-27943	If All of the following hold: (1) X is an instance of line in space (2) Y is an instance of line in space (3) Z is an instance of point in space (4) W is an instance of point in space (5) equal Z and W (6) Z is a part of X (7) W is a part of X (8) Z is a part of Y (9) W is a part of Y, then equal X and Y
(=> (and (instance ?S PlaneInSpace) (part ?L1 ?S) (instance ?L1 LineInSpace) (part ?L2 ?S) (instance ?L2 LineInSpace) (not (equal ?L1 ?L2)) (not (parallelLinesInSpace ?L1 ?L2))) (exists (?P) (and (instance ?P PointInSpace) (part ?P ?L1) (part ?P ?L2))))	Mid-level-ontology.kif 28024-28039	If All of the following hold: (1) X is an instance of plane in space (2) Y is a part of X (3) Y is an instance of line in space (4) Z is a part of X (5) Z is an instance of line in space (6) equal Y and Z (7) Y and Z are parallel, then there exists W such that W is an instance of point in space, W is a part of Y, and W is a part of Z
(=> (and (instance ?S PlaneInSpace) (part ?L1 ?S) (instance ?L1 LineInSpace) (part ?L2 ?S) (instance ?L2 LineInSpace) (not (equal ?L1 ?L2)) (parallelLinesInSpace ?L1 ?L2)) (not (exists (?P) (and (instance ?P PointInSpace) (part ?P ?L1) (part ?P ?L2)))))	Mid-level-ontology.kif 28041-28056	If All of the following hold: (1) X is an instance of plane in space (2) Y is a part of X (3) Y is an instance of line in space (4) Z is a part of X (5) Z is an instance of line in space (6) equal Y and Z (7) Y and Z are parallel, then there doesn't exist W such that W is an instance of point in space, W is a part of Y, and W is a part of Z

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

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

(subclass LineInSpace Region)	Mid-level-ontology.kif 27912-27912	Line in space is a subclass of region
(documentation LineInSpace EnglishLanguage "LineInSpace is a Region.Any LineInSpace contains at least two PointInSpace (points in space). If we have two LineInSpace instances and they each have two PointInSpace in common, then they are the same line. If two LineInSpaces have the relation parallel then there does not exist any PointInSpace that is part of both lines.")	Mid-level-ontology.kif 27913-27916	Line in space is a subclass of region
(relatedInternalConcept LineInSpace PointInSpace)	Mid-level-ontology.kif 27918-27918	Line in space is internally related to point in space

(termFormat EnglishLanguage LineInSpace "line in space")	Mid-level-ontology.kif 27917-27917
(subclass FiniteLineInSpace LineInSpace)	Mid-level-ontology.kif 27945-27945	Finite line in space is a subclass of line in space
(relatedInternalConcept PlaneInSpace LineInSpace)	Mid-level-ontology.kif 28022-28022	Plane in space is internally related to line in space

KB Term:			Term intersection

English Word: