| appearance as argument number 1 |
|
| (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]") | Mid-level-ontology.kif 5234-5236 | |
| (instance StraightLine OneDimensionalFigure) | Mid-level-ontology.kif 5233-5233 | Straight line is an instance of one dimensional figure |
| appearance as argument number 2 |
|
|
| (subAttribute ClosedLineSegment StraightLine) | Mid-level-ontology.kif 5813-5813 | Closed line segment is a subattribute of straight line |
| (subAttribute SecantLine StraightLine) | Mid-level-ontology.kif 5856-5856 | Secant line is a subattribute of straight line |
| (subAttribute TangentLine StraightLine) | Mid-level-ontology.kif 5239-5239 | Tangent line is a subattribute of straight line |
| (termFormat EnglishLanguage StraightLine "straight line") | Mid-level-ontology.kif 5237-5237 | Tangent line is a subattribute of straight line |
| appearance as argument number 3 |
|
|
| (domain parallel 1 StraightLine) | Merge.kif 18058-18058 | The number 1 argument of parallel is an instance of straight line |
| (domain parallel 2 StraightLine) | Merge.kif 18059-18059 | The number 2 argument of parallel is an instance of straight line |
| consequent |
|
|
| (=> (and (instance ?POLYGON Polygon) (geometricPart ?PART ?POLYGON)) (equal ?PART StraightLine)) |
Mid-level-ontology.kif 5500-5504 |
|
|
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 is open source software produced by Articulate Software and its partners