#mathematical_point__point  a geometric element that has position but no extension; "a point is defined by its coordinates"
  exclusion:  pm#2D_object  pm#3D_object
  subtype:  #point_of_intersection  #intercept
  supertype:  pm#spatial_object__spatialobject  object which as a direct spatial location, e.g., physical object, spatial region or shape
     supertype:  sumo#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:  pm#entity  something that can be "involved" in a situation
           supertype:  pm#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:  sumo#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:  pm#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:  cyc#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:  pm#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:  pm#individual__particular___supertype_of_1st_order_types  all individuals (for concepts or relations) are implicitely or explicitely instance of that type
        supertype:  pm#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:  #component.part__constituent__element__factor__ingredient  an abstract part of something: "jealousy was a component of his character"; "two constituents of a musical composition are melody and harmony"; "the grammatical elements of a sentence"; "a key factor in her success"; "humor: an effective ingredient of a speech"
     supertype:  #part__section__division  one of the portions into which something is regarded as divided and which together constitute a whole: "the written part of the exam"; "the finance section of the company"; "the BBC's engineering division"
        supertype:  #concept__conception__construct  an abstract or general idea inferred or derived from specific instances
           supertype:  #idea.cognitive_content__thought  the content of cognition; the main thing you are thinking about; "it was not a good idea"; "the thought never entered my mind"
              supertype:  #cognitive_content__cognitivecontent__content__mental_object  the sum or range of what has been perceived, discovered, or learned
                 supertype:  pm#description_content__descriptioncontent__information  e.g., a narration, an hypothesis
                    supertype:  pm#description  description (content/medium) of an entity or a situation
                       supertype:  pm#description_content/medium/container__descriptioncontent/medium/container
                          supertype:  pm#non_spatial_object__nonspatialobject  abstraction or description content/medium/container (a description medium that has some spatial feature is both instance of sumo#object and pm#non_spatial_object
                             supertype:  pm#entity  something that can be "involved" in a situation
                             supertype:  cyc#intangible  The collection of things that are not physical -- are not made of, or encoded in, matter. Every cyc#Collection is a cyc#intangible (even if its instances are tangible), and so are some cyc#individuals.  Caution: do not confuse `tangibility' with `perceivability' -- humans can perceive light even though it's intangible--at least in a sense.
                                supertype:  cyc#partially_intangible__partiallyintangible  The collection of things that either are wholly intangible (see cyc#Intangible) or have at least one intangible (i.e. immaterial) part (see cyc#intangibleParts). This includes intangible individuals, such as instances of cyc#Number-General  or cyc#Agreement, as well as non-individuals (all of which are intangible), i.e. instances of cyc#SetOrCollection.  It also includes things that have both tangible and intangible components (see cyc#CompositeTangibleAndIntangibleObject),  such as a printed copy of a newspaper (as its information content is intangible) or a person (as her mental states are intangible).
                                   supertype:  pm#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:  sumo#abstract__entity_without_spatial_feature  e.g., knowledge, motivation, measure; properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium; instances of sumo#abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place or time without some physical encoding or embodiment
                       supertype:  pm#non_spatial_object__nonspatialobject  abstraction or description content/medium/container (a description medium that has some spatial feature is both instance of sumo#object and pm#non_spatial_object
                    supertype:  pm#individual__particular___supertype_of_1st_order_types  all individuals (for concepts or relations) are implicitely or explicitely instance of that type
                 supertype:  #cognition__knowledge__noesis  the psychological result of perception and learning and reasoning
                    supertype:  #psychological_feature__psychologicalfeature  a feature of the mental life of a living organism
                       supertype:  pm#psychological_entity__psychologicalentity  feature/product of mental activity, e.g., feeling
                          supertype:  pm#non_spatial_object_playing_some_role
                             supertype:  pm#non_spatial_object__nonspatialobject  abstraction or description content/medium/container (a description medium that has some spatial feature is both instance of sumo#object and pm#non_spatial_object
                          supertype:  sumo#abstract__entity_without_spatial_feature  e.g., knowledge, motivation, measure; properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium; instances of sumo#abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place or time without some physical encoding or embodiment
                       supertype:  pm#thing_that_can_be_seen_as_a_relation  usable as relation type
                          supertype:  pm#thing_playing_some_role  category to classify things according to roles/viewpoints; classification under this category is application-dependant
                             supertype:  pm#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 #mathematical_point; click here to add one.


Simple category search: