Read First: Object Read Next: specializes/generalizes, Relation, Metaobject Type An object type is a way of talking about some objects without having to talk about each one individually. Aspects of the objects that are common to them all is recorded in one place, in the object type. In OOIE, all things are objects, including numbers, string, etc, so all things can be typed. The objects of any particular type are usually called the instances of that type, but OOIE calls them the objects of that type to distinguish them from implementation instances that may be C++, or other OO languages. The information recorded in the object type must be true of all its objects. However, object types may have no instances, for example, the type Unicorn. This is because object types are just concepts that may or may not exist in reality. Conversely, reality may have no pattern at all to it, so the information recorded in the object type is just the list of its objects. For example, since there is no way to predict which nouns are masculine in French, the MasculineFrenchNoun object type just records the list of those nouns. Read Next: specializes/generalizes, Relation
Subtypes: Metaobject Type, Relation, Operation_, State Type, State Change Type, Event Type