Relationships




Parents 
entity 
The universal class of individuals. This is the root node of the ontology.

Children 
attribute  Qualities which we cannot or choose not to reify into subclasses of . 
 graph  The Class of graphs, where a graph is understood to be a set of GraphNodes connected by GraphArcs. Note that this Class includes only connected graphs, i.e. graphs in which there is a GraphPath between any two GraphNodes. Note too that every Graph is required to contain at least two GraphArcs and three GraphNodes. 
 graph element  Noncompositional parts of Graphs. These parts are restricted to GraphNodes and GraphArcs. 
 model  An abstract object that models certain aspect of a physical object, is subject to abstraction and idealization. 
 process task  A function to be performed. 
 proposition  Propositions are Abstract entities that express a complete thought or a set of such thoughts. As an example, the formula '(instance Yojo Cat)' expresses the Proposition that the entity named Yojo is an element of the Class of Cats. Note that propositions are not restricted to the content expressed by individual sentences of a Language. They may encompass the content expressed by theories, books, and even whole libraries. It is important to distinguish Propositions from the ContentBearingObjects that express them. A Proposition is a piece of information, e.g. that the cat is on the mat, but a ContentBearingObject is an Object that represents this information. A Proposition is an abstraction that may have multiple representations: strings, sounds, icons, etc. For example, the Proposition that the cat is on the mat is represented here as a string of graphical characters displayed on a monitor and/or printed on paper, but it can be represented by a sequence of sounds or by some nonlatin alphabet or by some cryptographic form 
 quantity  Any specification of how many or how much of something there is. Accordingly, there are two subclasses of Quantity: Number (how many) and PhysicalQuantity (how much). 
 relation  The Class of relations. There are three kinds of Relation: Predicate, Function, and List. Predicates and Functions both denote sets of ordered ntuples. The difference between these two Classes is that Predicates cover formulaforming operators, while Functions cover termforming operators. A List, on the other hand, is a particular ordered ntuple. 
 set or class  The SetOrClass of Sets and Classes, i.e. any instance of Abstract that has elements or instances. 