StraightLine - Sigma Knowledge base Browser

appearance as argument number 1

(instance StraightLine OneDimensionalFigure)	Merge.kif 18211-18211	Straight line is an instance of one dimensional figure
(documentation StraightLine EnglishLanguage "A StraightLine is a OneDimensionalFigure with no width, depth, or curvature. It may be embedded in a two or three dimenional GeometricFigure. [Wikipedia]")	Merge.kif 18212-18214	Straight line is an instance of one dimensional figure

appearance as argument number 2

(termFormat EnglishLanguage StraightLine "straight line")	Merge.kif 18215-18215
(subAttribute TangentLine StraightLine)	Mid-level-ontology.kif 5391-5391	Tangent line is a subattribute of straight line
(subAttribute ClosedLineSegment StraightLine)	Mid-level-ontology.kif 5976-5976	Closed line segment is a subattribute of straight line
(subAttribute SecantLine StraightLine)	Mid-level-ontology.kif 6019-6019	Secant line is a subattribute of straight line

appearance as argument number 3

(domain parallel 1 StraightLine)	Merge.kif 18217-18217	The number 1 argument of parallel is an instance of straight line
(domain parallel 2 StraightLine)	Merge.kif 18218-18218	The number 2 argument of parallel is an instance of straight line

consequent

(=>
    (and
        (instance ?POLYGON Polygon)
        (geometricPart ?PART ?POLYGON))
    (equal ?PART StraightLine))

If X is an instance of polygon and X is a geometric part of Y, then equal Y and straight line