xsd#nonNegativeInteger__nonnegativeinteger integer >= 0
closed_exclusion: sumo#negative_integer
subtype: p{sumo#positive_integer kif#zero}(pm)
equal: sumo#nonnegative_integer (pm) kif#natural (pm) xmls#non_negative_integer (pm)
akts#second-of of: sumo#time_point [48..49,*]
akts#minute-of of: sumo#time_point [48..49,*]
akts#hour-of of: sumo#time_point [48..49,*]
akts#day-of of: sumo#time_point [48..49,*]
akts#month-of of: sumo#time_point [48..49,*]
akts#year-of of: sumo#time_point [48..49,*]
akts#second-of of: akts#Calendar-Date [48,*]
akts#minute-of of: akts#Calendar-Date [48,*]
akts#hour-of of: akts#Calendar-Date [48,*]
supertype: sumo#nonnegative_real_number real_number >= 0
supertype: sumo#real_number a number that can be expressed as a (possibly infinite) decimal, i.e. a number that has a position on the number line
supertype: sumo#number
supertype: pm#atomic_ADT__atomic_abstract_data_type
supertype: sumo#quantity any specification of how many or how much of something there is
supertype: pm#attribute_or_quality_or_measure e.g., mass, mass unit, 1 kg, frequency, [2-3] hz, color, blue, speed, 1 m/s
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: 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#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: 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
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: 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#description_medium__descriptionmedium e.g., a syntax, a language, a script, a structure
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_that_is_not_an_attribute_or_quality_or_measure
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#integer a negative or nonnegative whole number
supertype: sumo#rational_number real_number that is the product of dividing two integers
supertype: sumo#real_number a number that can be expressed as a (possibly infinite) decimal, i.e. a number that has a position on the number line
supertype: higgins#DigitalSubject
supertype: pm#Higgins_ContextObject_or_DigitalSubject
supertype: pm#Higgins_object
supertype: dolce#particular a 0-order 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#Higgins_DigitalSubject_or_Value
supertype: pm#Higgins_object
supertype: higgins#DigitalSubject
No statement uses or specializes sumo#nonnegative_integer; click here to add one.