| 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 5253-5255 | |
| (instance StraightLine OneDimensionalFigure) | Mid-level-ontology.kif 5252-5252 |
| appearance as argument number 2 |
|
|
| (subAttribute ClosedLineSegment StraightLine) | Mid-level-ontology.kif 5838-5838 | |
| (subAttribute SecantLine StraightLine) | Mid-level-ontology.kif 5881-5881 | |
| (subAttribute TangentLine StraightLine) | Mid-level-ontology.kif 5258-5258 | |
| (termFormat EnglishLanguage StraightLine "straight line") | Mid-level-ontology.kif 5256-5256 |
| appearance as argument number 3 |
|
|
| (domain parallel 1 StraightLine) | Merge.kif 18021-18021 | |
| (domain parallel 2 StraightLine) | Merge.kif 18022-18022 |
| consequent |
|
|
| (=> (and (instance ?POLYGON Polygon) (geometricPart ?PART ?POLYGON)) (equal ?PART StraightLine)) |
Mid-level-ontology.kif 5525-5529 |
|
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