is#IR_system
subtype: distributed_IR_system hypertext_system
tool of: IR_task
supertype: software__software_system__software_package__package (computer science) written programs or procedures or rules and associated documentation pertaining to the operation of a computer system and that are stored in read/write memory; "the market for software is expected to expand"
supertype: computer_code__code (computer science) the symbolic arrangement of data or instructions in a computer program or the set of such instructions
supertype: causal_entity__agent something (animal or software agent) able to act
supertype: entity_playing_some_role e.g., an agent, an owner
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: thing_that_can_be_seen_as_a_relation usable as relation type
supertype: thing_playing_some_role category to classify things according to roles/viewpoints; classification under this category is application-dependant
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: causal_agent__cause__causal_agency any entity that causes events to happen
supertype: thing_playing_some_role category to classify things according to roles/viewpoints; classification under this category is application-dependant
supertype: temporal_thing The collection of all things that have temporal extent or location, i.e. things about which one might sensibly ask When? . cyc#TemporalThing thus contains many kinds of things, including events, physical objects, agreements, and abstract pieces of time. Note that cyc#TimePoint is a specialization of cyc#TemporalThing, since time points have temporal location, although they arguably lack temporal extent. Abstract things that are timeless -- such as mathematical sets, attributes, and numbers -- are of course _not_ instances of cyc#TemporalThing.
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: process_or_process_description
supertype: processing_thing
supertype: thing_playing_some_role category to classify things according to roles/viewpoints; classification under this category is application-dependant
supertype: coding_system a system of signals used to represent letters or numbers in transmitting messages
supertype: writing.symbols letters or symbols written or imprinted on a surface to represent the sounds or words of a language; "he turned the paper over so the writing wouldn't show"; "the doctor's writing was illegible"
supertype: written_communication__writtencommunication__written_language__writtenlanguage communication by means of written symbols
supertype: communication something that is communicated between people or groups
supertype: description_content/medium/container__descriptioncontent/medium/container
supertype: non_spatial_object_that_is_not_an_attribute_or_quality_or_measure
supertype: 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: entity something that can be "involved" in a situation
supertype: 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: 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: 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: social_relation a relation between living organisms (especially between people)
supertype: relation an abstraction belonging to or characteristic of two entities or parts together
supertype: thing_that_can_be_seen_as_a_relation usable as relation type
supertype: project__projection a planned undertaking
supertype: plan__program__programme a series of steps to be carried out or goals to be accomplished; "they drew up a six-step plan"; "they discussed plans for a new bond issue"
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: description_content__descriptioncontent__information e.g., a narration, an hypothesis
supertype: description description (content/medium) of an entity or a situation
supertype: description_content/medium/container__descriptioncontent/medium/container
supertype: 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: 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: 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
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: psychological_entity__psychologicalentity feature/product of mental activity, e.g., feeling
supertype: non_spatial_object_playing_some_role
supertype: 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: 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: thing_that_can_be_seen_as_a_relation usable as relation type
No statement uses or specializes IR_system; click here to add one.