#perpendicular.straight_line  a straight line at right angles to another line
  supertype:  straight_line  a line traced by a point traveling in a constant direction; a line of zero curvature; "the shortest distance between two points is a straight line"
     supertype:  line.shape  a length (straight or curved) without breadth or thickness; the trace of a moving point
        supertype:  shape__form  the spatial arrangement of something as distinct from its substance; "geometry is the mathematical science of shape"
           supertype:  space  point or extent in space
              supertype:  spatial_object__spatialobject  object which as a direct spatial location, e.g., physical object, spatial region or shape
                 supertype:  object__entity_with_spatial_feature  spatial object (space, location or physical object) or description medium/container (e.g., string, language, image); in a 4D ontology, an object is something whose spatiotemporal extent is thought of as dividing into spatial parts roughly parallel to the time-axis
                    supertype:  entity  something that can be "involved" in a situation
                       supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                    supertype:  physical__physical_thing  an entity that has a location in space-time; locations are themselves understood to have a location in space-time; click here for more details on the identical category sowa#physical_thing
                       supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                 supertype:  partially_tangible__partiallytangible  A subcollection of cyc#SpatialThing-Localized and cyc#TemporalThing. Each instance of cyc#PartiallyTangible has a tangible (i.e. material) part and a temporal extent (i.e. it exists in time). It might or might not also have an intangible part. For example, a particular copy of a book is made of matter, has temporal extent, and also has an intangible part: the information content of the text markings on its pages.
                    supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                 supertype:  individual__particular___supertype_of_1st_order_types  all individuals (for concepts or relations) are implicitely or explicitely instance of that type
                    supertype:  thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type

No statement uses or specializes perpendicular.straight_line; click here to add one.