|
Relationships
|
|
|
|
| Parents |
inheritable relation |
The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
|
| |
relation |
The Class of relations.There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.
|
| Children |
function | A Function is a term-forming Relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with at most one range element. Note that the range is a Class, and each element of the range is an instance of the Class. |
| Instances | absolute height | The height of an aircraft directly above the surface or terrain over which it is flying. |
| | age | Simply relates an Object to a ConstantQuantity specifying the age of the Object. |
| | altitude | A TernaryPredicate that is used to state the distance between the top of an Object and another point that is below the top of the Object (often this other point will be sea level). Note that this Predicate can be used to specify, for example, the height of geographic features, e.g. mountains, the altitude of aircraft, and the orbit of satellites around the Earth. |
| | amplifier efficiency | Proportion of a energy of the Amplifier output signal to the energy used by that Amplifier. |
| | annual energy consumption | The estimated amount of energy consumed by a device during one year. |
| | approximate diameter | The diameter of an object if it were a perfect sphere of the same volume |
| | arc weight | This predicate indicates the value of a GraphArc in a Graph. This could map to the length of a road in a road network or the flow rate of a pipe in a plumbing system. |
| | average | A partial function that relates a List to a RealNumber, provided that the List only has list elements that are RealNumbers. The RealNumber associated with the List is equal to the mathematical average of the RealNumbers in the List divided by the total number of list elements. |
| | average charger energy ratio | Average proportion of energy obtained by a Battery to the total energy used by a BatteryCharger while charging that battery. |
| | clothes washer modified energy factor | (MEF) Capacity of clothes divided by sum of mechanical energy per cycle and water heating energy per cycle and drying energy. The higher the more efficient. |
| | clothes washer water factor | Ratio of water required per cycle (in UnitedStatesGallon) to total useful volume of the ClothesWashingMachine (in cubic ft3) |
| | conclusion | (conclusion ?ARGUMENT ?PROPOSITION) means that the Proposition ?PROPOSITION is the conclusion explicitly drawn from the Argument ?ARGUMENT. Note that it may or may not be the case that ?ARGUMENT entails ?PROPOSITION. |
| | currency type | (currencyType ?AREA ?UNIT) means that the official currency used in the GeopoliticalArea ?AREA is the UnitOfMeasure ?UNIT. |
| | date | A BinaryPredicate that specifies a TimePosition in absolute calendar time, at the resolution of one day, for a particular Object or Process. |
| | depth | A TernaryPredicate that is used to state the distance between the bottom of an Object and another point that is above the bottom of the Object (often this other point will be SeaLevel). Note that this Predicate can be used to specify, for example, the depth of marine life or submarines. |
| | diameter | (diameter ?CIRCLE ?LENGTH) means that the diameter of the Circle ?CIRCLE has a length of ?LENGTH. |
| | distance | (distance ?OBJ1 ?OBJ2 ?QUANT) means that the shortest distance between the two objects ?OBJ1 and ?OBJ2 is ?QUANT. Note that the difference between the predicates length and distance is that the length is used to state the LengthMeasure of one of the dimensions of a single object, while distance is used to state the LengthMeasure that separates two distinct objects. |
| | effective range | Models the effective range of some device that is able to move by itself (like vehicles, rockets and so on) or move other things (like weapons). |
| | electron number | (electronNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Electrons ?NUMBER. |
| | energy consumption per washing cycle | Estimated ammount of energy used by a ClothesWashingMachine in one washing cycle. |
| | father | The general relationship of fatherhood. (father ?CHILD ?FATHER) means that ?FATHER is the biological father of ?CHILD. |
| | fresh food compartment volume | The volume of the fresh food compartment in a Refrigerator. |
| | frozen food compartment volume | The volume of the froozen food compartment in a Freezer. |
| | genetic substrate of virus | (geneticSubstrateOfVirus ?VIRUS ?MOL) relates the virus ?VIRUS to the molecule ?MOL that contains its genetic information. |
| | geometric distance | (geometricDistance ?POINT1 ?POINT2 ?LENGTH) means that ?LENGTH is the distance between the two GeometricPoints ?POINT1 and ?POINT2. |
| | human capacity | (humanCapacity ?CONSTRUCT ?NUMBER) means that the StationaryArtifact ?CONSTRUCT, e.g. a Building or a Room, can hold a maximum of ?NUMBER Humans without crowding. |
| | idle power consumption | The average power used by a device while it is in idle state. |
| | intelligence quotient | (intelligenceQuotient ?PERSON ?NUMBER) means that ?NUMBER is the I.Q. of ?PERSON. The I.Q. of a person is the ratio of their mental age (determined by a standardized test) divided by their chronological age, multiplied by 100. |
| | invading virus | (invadingVirus ?CELLINV ?VIRUS) means that ?VIRUS is a virus that invades a host cell in the cell invasion ?CELLINV. If the invasion results in a replication, it is the genome of the invading virus that is replicated. The original virus is destroyed but replicated in the process. |
| | leader | (leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON. |
| | length | BinaryPredicate that is used to state the measure of an Object along its longest span. |
| | maximum clothes volume | Highest possible voulme of cothes processedn in a single LaundryAppliance run. |
| | maximum spin speed | Highest possible frequency of a tumble spin in a TumbleDryer. |
| | monetary value | A BinaryPredicate that associates an Object or Process with its value expressed as an instance of CurrencyMeasure. |
| | mother | The general relationship of motherhood. (mother ?CHILD ?MOTHER) means that ?MOTHER is the biological mother of ?CHILD. |
| | net worth | Total assets minus total liabilities of an individual or company. |
| | places for serving pieces count | A number of places for serving pieces in a Dishwasher. |
| | plate places count | A number of plate places in a Dishwasher. |
| | power consumption during audio playback | Average energy usage by a MediaAppliance during audio playback. |
| | power consumption during audio recording | Average energy usage by a MediaAppliance during audio recording. |
| | power consumption during video playback | Average energy usage by a MediaAppliance during video playback. |
| | power consumption during video recording | Average energy usage by a MediaAppliance during video recording. |
| | proton number | (protonNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Protons ?NUMBER. |
| | radius | (radius ?CIRCLE ?LENGTH) means that the radius of the Circle ?CIRCLE has a length of ?LENGTH. |
| | spin drying performance class | EuropeanUnionEnergyLabelClass given for a LaundryAppliance for its drying performance only. |
| | string concatenate fn | The result of applying this Function to two SymbolicString arguments is a third SymbolicString that is the concatenation of the two arguments. Example: (equal "Charles Darwin" (StringConcatenateFn "Charles " "Darwin")). |
| | string concatenation | (stringConcatenation ?SymbolicString-1 ?SymbolicString-2 ?SymbolicString-3) means that ?SymbolicString-3 can be formed by appending ?SymbolicString-1 and ?SymbolicString-2, in order. Example: (stringConcatenation "Charles " "Darwin" "Charles Darwin") is a True Sentence. |
| | string length | (stringLength ?NonnegativeInteger ?SymbolicString) means that the number of Characters in ?SymbolicString is ?NonnegativeInteger. Example: (stringLength 14 "Charles Darwin"), which is a True Sentence. |
| | string length fn | This UnaryFunction takes a SymbolicString as its sole argument. The result of evaluating a term formed with StringLengthFn is a NonnegativeInteger that denotes the number of Characters in the SymbolicString. Example: (equal 14 (StringLengthFn "Charles Darwin")). |
| | substring fn | (SubstringFn ?SymbolicString ?NonnegativeInteger-1 ?NonnegativeInteger-2) denotes a string that is a subString of ?SymbolicString, begins with the Character at the index ?NonnegativeInteger-1, and ends with the Character at the index (SubtractionFn ?NonnegativeInteger-2 1). The first Character in ?SymbolicString is denoted by the index 0. If the value of ?NonnegativeInteger-1 or ?NonnegativeInteger-2 is greater than the value of (StringLengthFn ?SymbolicString), or if ?NonnegativeInteger-1 is greater than ?NonnegativeInteger-2, the result of evaluating the SubstringFn expression is undefined. Example: (equal "Charle" (SubstringFn "Charles Darwin" 0 6)). |
| | total cotton capicity | Maximum mass of cotton that a LaundryAppliance can work with in one cycle. |
| | transaction amount | (transactionAmount ?TRANSACTION ?AMOUNT) means that ?AMOUNT is an instance of CurrencyMeasure being exhanged in the FinancialTransaction ?TRANSACTION. |
| | unique identifier | The class of names that uniquely identify an instance of Entity. Some examples of uniqueIdentifiers are the keys of tables in database applications and the ISBN (International Standard Book Number). |
| | valence | Specifies the number of arguments that a relation can take. If a relation does not have a fixed number of arguments, it does not have a valence and it is an instance of VariableArityRelation. |
| | wash performance class | EuropeanUnionEnergyLabelClass given for a LaundryAppliance for its washing performance only. |
| | water use per dishwasher cycle | Estimated ammount of water used by a Dishwasher in one washing cycle. |
| | water use per one clothes washing cycle | Estimated ammount of water used by a ClothesWashingMachine in one washing cycle. |
| | wavelength | (wavelength ?RADIATION ?MEASURE) means that the instance of radiation, ?RADIATION, has an average wavelength of ?MEASURE. |
| | width | BinaryPredicate that is used to state the measure of an Object from side to side at its widest span. |