Simple Browser : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language:    Formal Language: 



KB Term: 

  TransportationCompany

Sigma KEE - LineInSpace
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
line in space
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.
Relationships      
Parents region A topographic location. Regions encompass surfaces of Objects, imaginary places, and GeographicAreas. Note that a Region is the only kind of Object which can be located at itself. Note too that Region is not a subclass of SelfConnectedObject, because some Regions, e.g. archipelagos, have parts which are not connected with one another.
Children finite line in spaceFiniteLineInSpace is a LineInSpace with two end points.


Show full definition (without tree view)
Show full 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