Relationships
|
|
|
|
Parents |
BinaryRelation |
BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.
|
|
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.
|
|
InheritableRelation |
The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
|
Children |
OneToOneFunction | The Class of UnaryFunctions which are one to one. A function F is one to one just in case for all X, Y in the domain of F, if X is not identical to Y, then F(X) is not identical to F(Y). |
| UnitOfMeasureMultiplier | Each instance of this Class is a UnaryFunction that, when evaluated on its single argument, a UnitOfMeasure, produces another UnitOfMeasure that is a numeric multiple of the argument. |
Instances | AbsoluteValueFn | The value of (AbsoluteValueFn ?NUMBER) is the absolute value of the RealNumber ?NUMBER. |
| AccountFn | A unary function that maps a FinancialAsset to the FinancialAccount associated with the Asset. |
| AddressFn | (AddressFn ?FILE) returns as its value the physical address of the ComputerFile ?FILE. |
| AfternoonFn | A UnaryFunction that returns the class of Afternoons of the given Day. |
| AgentOfOrganismFn | A Function that returns the BiologicalAgent composed of the given Organism in a Solution of Mixture. |
| AgreementOrganizationFn | (AgreementOrganizationFn ?AGR) denotes the official Organization established by the Agreement ?AGR to administer or enforce the terms of that agreement. |
| ArcCosineFn | The inverse of CosineFn. |
| ArcSineFn | The inverse of SineFn. |
| ArcTangentFn | The inverse of TangentFn. |
| AvailableForMilitaryServiceMaleFn | (AvailableForMilitaryServiceMaleFn ?AREA) denotes the Integer that represents the count of the population of males of military age in the GeopoliticalArea ?AREA. |
| ASPFn | Average Selling Price. Total GMV divided by the total number of items sold (not the transactions) in a given time interval. |
| ABPFn | Average buying price. Total GMB divided by the total number of items sold (not the transactions) in a given time interval. |
| AverageFn | The average of the Numbers in a List |
| BackFn | A Function that maps an Object to the side that is opposite the FrontFn of the Object. Note that this is a partial function, since some Objects do not have sides, e.g. apples and spheres. Note too that the range of this Function is indefinite in much the way that ImmediateFutureFn and ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases. |
| BeginFn | A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval begins. |
| BeginNodeFn | A UnaryFunction that maps a GraphPath to the GraphNode that is the beginning of the GraphPath. Note that, unlike InitialNodeFn (which relates a GraphArc to a GraphNode), BeginNodeFn is a total function - every GraphPath has a beginning. |
| BeliefGroupMemberFn | A Function that defines a member of a BeliefGroup. |
| BidCountFn | (BidCountFn ?COLL) returns the number of Biddings which were the objectOfBid of the Biddings are also the patients of WebListings which are members of ?COLL. |
| BodyAreaFn | A Function that denotes the area near a given organ or structure of the body such as 'bicep area' or 'stomach area'. |
| BoughtItemsFn | (BoughtItemsFn ?COLL) returns the number of Physical which are patients of Buyings which are members of ?COLL. |
| CabinetFn | (CabinetFn ?AREA) denotes the GovernmentCabinet associated with the government of the GeopoliticalArea ?AREA. |
| CardinalityFn | (CardinalityFn ?CLASS) returns the number of instances in the SetOrClass ?CLASS or the number of members in the ?CLASS Collection. |
| CeilingFn | (CeilingFn ?NUMBER) returns the smallest Integer greater than or equal to the RealNumber ?NUMBER. |
| CenterOfCircleFn | (CenterOfCircleFn ?CIRCLE) denotes the GeometricPoint that is the center of the Circle ?CIRCLE. |
| CitizenryFn | (CitizenryFn ?AREA) denotes the GroupOfPeople who are legal and permanent residents of the GeopoliticalArea ?AREA. |
| ComplementFn | The complement of a given SetOrClass C is the SetOrClass of all things that are not instances of C. In other words, an object is an instance of the complement of a SetOrClass C just in case it is not an instance of C. |
| ConstitutionFn | (ConstitutionFn ?AREA) denotes a class containing all Constitutions adopted by the government of the GeopoliticalArea ?AREA. For example, (ConstitutionFn UnitedStates) contains the ConstitutionOfTheUnitedStates. |
| ConversionRateFn | (ConversionRateFn ?COLL) returns the Quantity representing the CardinalityFn of the Collection of WebListings ?COLL wich are are successful (i.e. there was a Buying of the item which is the patient of the listing) divided by the CardinalityFn of the whole collection. |
| CosineFn | (CosineFn ?DEGREE) returns the cosine of the PlaneAngleMeasure ?DEGREE. The cosine of ?DEGREE is the ratio of the side next to ?DEGREE to the hypotenuse in a right-angled triangle. |
| CoveringFn | A Function that produces the class of all things intended to be used in Covering a particular BodyPart. |
| CPUUtilizationFn | (CPUUtilizationFn ?PROGRAM) refers to the percentage of time the CPU is used by an application ?PROGRAM. |
| CurrencyFn | A unary function that maps a FinancialAccount to the currency linked to the account. |
| CutSetFn | A UnaryFunction that assigns a Graph the Class of GraphPaths that partition the graph into two separate graphs if cut. There may be more than one cutset for a given graph. |
| DatumFn | (DatumFn ?place) denotes the point of MLLW (Mean Lower Low Water) used as the initial data point for a coastal or WaterArea given on a nautical chart. High and low tides are calculated with reference to this point. |
| DeadFn | (DeadFn ?ORGCLASS) denotes the Class of all remains that were once part of Living Organisms of the type ?ORGCLASS. |
| DeadOrMissingBodyPartFn | A Function that returns an instance of DeadOrMissingBodyPartFn that refers to a particular BodyPart. For example, an amputated leg would be a subAttribute of (DeadOrMissingBodyPartFn Leg) |
| DemandFn | The quantity of a good that consumers want to buy, and are able to purchase at various prices during a given time. |
| DemonymFn | A GroupOfPeople defined by their birthplace or where the Residence they inhabit is located. |
| DenominatorFn | (DenominatorFn ?NUMBER) returns the denominator of the canonical reduced form of the RealNumber ?NUMBER. |
| DescendantsFn | (DescendantsFn ?PERSON) denotes all and only the descendants of ?PERSON, i.e. the Group consisting of ?OFFSPRING who satisfy the following formula: (ancestor ?OFFSPRING ?PERSON). |
| DiameterFn | (DiameterFn ?CIRCLE) denotes the length of the diameter of the Circle ?CIRCLE. |
| DocumentFn | (DocumentFn ?PROP) denotes a class of Text objects that contain the information ?PROP. |
| EdemaFn | A Function that returns the class of Edema cases in the given BodyPart. |
| ElectionFn | (ElectionFn ?ORG) denotes the class of Elections conducted by the GeopoliticalArea or Organization ?ORG, in which offices or issues pertaining to ?ORG are voted upon. |
| ElevationHighPointFn | (ElevationHighPointFn ?AREA) denotes the area within the GeographicArea ?AREA that has the highest elevation. |
| ElevationLowPointFn | (ElevationLowPointFn ?AREA) denotes the area within the GeographicArea ?AREA that has the lowest elevation. |
| EmailDomainPartFn | The domain part of an email. |
| EmailLocalPartFn | The local part of an email, which is typically a user's name or ID. |
| EndFn | A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval ends. |
| EndNodeFn | A UnaryFunction that maps a GraphPath to the GraphNode that is the end of the GraphPath. Note that, unlike TerminalNodeFn (which relates a GraphArc to a GraphNode), EndNodeFn is a total function - every GraphPath has a end. |
| EveningFn | A UnaryFunction that returns the class of Evenings of the given Day. |
| ExclusiveFishingZoneFn | (ExclusiveFishingZoneFn ?POLITY) denotes the ExclusiveFishingZone that is claimed by the GeopoliticalArea ?POLITY. |
| ExecutiveBranchFn | (ExecutiveBranchFn ?ORG) denotes the executive branch of ?ORG, with all its officials and agencies, considered as a whole. |
| ExtendedFishingZoneFn | (ExtendedFishingZoneFn ?POLITY) denotes the ExtendedFishingZoneFn that is claimed by the GeopoliticalArea ?POLITY, beyond its ExclusiveFishingZone. |
| ExtensionFn | A UnaryFunction that maps an Attribute into the Class whose condition for membership is the Attribute. |
| FailureFn | A Function that takes a class of actions and returns a class of actions where the agent desires to be the agent of the Process of a given type, but fails to execute the process. |
| FarmOfProductFn | A Function that returns a class of the farm of a given type of Organism. |
| FirstFn | (FirstFn ?LIST) returns the first item in the List ?LIST. For example, (FirstFn (ListFn Monday Tuesday Wednesday)) would return the value of Monday. |
| FiscalYearFn | (FiscalYearFn ?PLACE) denotes the subclass of TimeIntervals that are fiscalYearPeriods of the Organization or GeopoliticalArea ?PLACE. |
| FitForMilitaryServiceMaleFn | (FitForMilitaryServiceMaleFn ?AREA) denotes the Integer that represents the count of the population of males of military age in the GeopoliticalArea ?AREA that is also capable of being a member of the military. |
| FloorFn | (FloorFn ?NUMBER) returns the largest Integer less than or equal to the RealNumber ?NUMBER. |
| FlowFn | (FlowFn ?FLUID) denotes the Motion process associated with the constitutive pieces of the FlowRegion ?FLUID. |
| FlowRegionFn | (FlowRegionFn ?FLOW) denotes the region in which the coherent LiquidMotion process ?FLOW is occurring. |
| FoodForFn | A Function that denotes the class of all SelfConnectedObjects containing Nutrients, such as Carbohydrates, Proteins, and fats, that can be ingested by a the given class of living Animal and metabolized into energy and body Tissue. |
| FrontFn | Una Function que mapea un Object al lado que generalmente recibe la mayoría de la atención o que típicamente está orientado al mismo sentido en la que el Object se mueve. Note que esta es una función parcial porque algunos Objects no tienen lados, por ejemplo, manzanas y esféricos. Note que el rango de la Function es indefinido en la misma manera que ImmediateFutureFn y ImmediatePastFn son indefinidos. Aunque este estado indefinido es indeseable desde el punto de vista teórico, no hay implicaciones practicas y significativa desde que hay acuerdo intersubjetivo en casi todas las veces. |
| FutureFn | A UnaryFunction that maps a TimePosition to the TimeInterval which it meets and which ends at PositiveInfinity. |
| GeneralizedIntersectionFn | A UnaryFunction that takes a SetOrClass of Classes as its single argument and returns a SetOrClass which is the intersection of all of the Classes in the original SetOrClass, i.e. the SetOrClass containing just those instances which are instances of all instances of the original SetOrClass. |
| GeneralizedUnionFn | A UnaryFunction that takes a SetOrClass of Classes as its single argument and returns a SetOrClass which is the merge of all of the Classes in the original SetOrClass, i.e. the SetOrClass containing just those instances which are instances of an instance of the original SetOrClass. |
| GeographicCenterFn | (GeographicCenterFn ?REGION) denotes the geographical center of the GeographicArea ?REGION. |
| GovernmentFn | (GovernmentFn ?AREA) denotes the Government of the GeopoliticalArea ?AREA. For example, (GovernmentFn UnitedStates) denotes the Federal-level government of the United States, (GovernmentFn PuertoRico) denotes the government of the Commonwealth of Puerto Rico. |
| GMBFn | The sum of all transactionAmounts for a collection of Buyings where all the agents of the buyings are in the same GeopoliticalArea. |
| AuctionGMBFn | The sum of all purchase prices in a collection of Auctionings. |
| GMVFn | The sum of all transactionAmounts for a collection of Sellings where all the agents of the sellings are in the same GeopoliticalArea. |
| HoleHostFn | A UnaryFunction that maps a HoleRegion to the Object which is its principal host. The principle host of a HoleRegion is its maximally connected host (a notion taken here to be defined only when the argument is a hole). |
| HoleSkinFn | A UnaryFunction that maps a HoleRegion to the skin of the HoleRegion. The skin of a HoleRegion is the fusion of those superficial parts (see superficialPart) of the HoleRegion's principal host (see HoleHostFn) with which the HoleRegion is externally connected. |
| ImaginaryPartFn | (ImaginaryPartFn ?NUMBER) returns the part of ?NUMBER that has the square root of -1 as its factor. |
| ImmediateFamilyFn | (ImmediateFamilyFn ?PERSON) denotes the immediate family of ?PERSON, i.e. the Group consisting of the parents of ?PERSON and anyone of whom ?PERSON is a parent. |
| ImmediateFutureFn | A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately follows the TimePosition. |
| ImmediatePastFn | A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately precedes the TimePosition. |
| ImpairedBodyPartFn | A Function that returns an instance of ImpairedBodyPartFn that refers to a particular BodyPart. For example, a broken leg would be a subAttribute of (ImpairedBodyPartFn Leg) |
| ImpairmentFn | A faulty or compromised Process of the normal body. |
| InfectionFn | Denotes the InfectiousDisease caused by the given Microorganism. |
| InflammationFn | Inflammation of a specific BodyPart. |
| InitialNodeFn | A UnaryFunction that maps a GraphArc to the initial node of the GraphArc. Note that this is a partial function. In particular, the function is undefined for GraphArcs that are not part of a DirectedGraph. |
| InitialProfileFn | The function which returns as its value the initial profile of the program, i.e. a report of its execution characteristics. |
| InjuryCausedFn | A Function that denotes an Injury resulting from a specific kind of Process. |
| InnerBoundaryFn | (InnerBoundaryFn ?REGION) denotes the inner boundary of the Region ?REGION, where ?REGION has an inner and outer orientation with respect to another object. |
| IntegerSquareRootFn | (IntegerSquareRootFn ?NUMBER) returns the integer square root of ?NUMBER. |
| JankaHardnessFn | (JankaHardnessFn ?TREE) returns as its value in PoundForce in the US, Kilogram-force in Sweden or Newton in Australia. It measures the force required to embed an 11.28-millimeter-diameter (7⁄16 in) steel ball halfway into a sample of wood. A common use of Janka Hardness ratings is to determine whether a species is suitable for use as flooring. For hardwood flooring, the test usually requires an 80 mm × 150 mm (3 in × 6 in) sample with a thickness of at least 6–8 mm, and the most commonly used test is the ASTM D1037.[Wikipedia] |
| JudiciaryFn | (JudiciaryFn ?AREA) denotes the judicial branch of the GeopoliticalArea ?AREA, that is, the JudicialOrganization(s) associated with the government of ?AREA, considered as a whole. |
| JuiceOfFn | This function defines the class of Juice created from a given FruitOrVegetable. |
| LastFn | (LastFn ?LIST) returns the last item in the List ?LIST. For example, (LastFn (ListFn Monday Tuesday Wednesday)) would return the value of Wednesday. |
| LegislatureFn | (LegislatureFn ?AREA) denotes the legislative branch of the GeopoliticalArea ?AREA. |
| CenterOfPlanetFn | CenterOfPlanetFn is a Function that takes a AstronomicalBody and and denotes a PointInSpace that is the centre of the planet. All PointInSpace that make up the surface of the AstronomicalBody are aproximately equidistant from its center. |
| ListLengthFn | A Function that takes a List as its sole argument and returns the number of items in the List. For example, (ListLengthFn (ListFn Monday Tuesday Wednesday)) would return the value 3. |
| LyricalComponentFn | The function (LyricalComponentFn ?S) returns the instance of the LyricalContent component of the Song ?S |
| MakingFn | A Function that denotes the creation of an Object. |
| MaleToFemaleRatioFn | (MaleToFemaleRatioFn ?AREA) denotes the RealNumber that represents the ratio of male to female individuals in the population of the GeopoliticalArea ?AREA. This is the number of males for each female for the total population. Sex ratio at birth has recently emerged as an indicator of certain kinds of sex discrimination in some countries. For instance, high sex ratios at birth in some Asian countries are now attributed to sex_selective abortion and infanticide due to a strong preference for sons. This will affect future marriage patterns and fertility patterns. Eventually it could cause unrest among young adult males who are unable to find partners. |
| MaritimeClaimsTerritorialSeaFn | (MaritimeClaimsTerritorialSeaFn ?REGION) denotes a peripheral zones of maritime control extending outward from the Region ?REGION. |
| MaritimeContiguousZoneFn | (MaritimeContiguousZoneFn ?POLITY) denotes the MaritimeContiguousZone that is claimed by the GeopoliticalArea ?POLITY. |
| MaritimeExclusiveEconomicZoneFn | (MaritimeExclusiveEconomicZoneFn ?POLITY) denotes the MaritimeExclusiveEconomicZone that is claimed by the GeopoliticalArea ?POLITY. |
| MaritimeShelfAreaFn | (MaritimeShelfAreaFn ?POLITY) denotes the MaritimeShelfArea that is claimed by the GeopoliticalArea ?POLITY. |
| MarketOfItemFn | The market where a particular good is available for sale. 'the housing market', or 'car market' |
| MarketInRegionFn | The market in a particular region |
| MaxValueFn | (MaxValueFn ?LIST) returns the maximum value of all the numbers in a List. |
| MeasuringProcessFn | Measuring a particular kind of Process. |
| MemberFn | (MemberFn ?ORG) denotes the Position of a member in the Organization ?ORG. |
| MerchantMarineFn | (MerchantMarineFn ?AREA) denotes the Collection of all commercial ships registered in the ShipRegister of the GeopoliticalArea ?AREA. |
| MinimalCutSetFn | A UnaryFunction that assigns a Graph the Class of GraphPaths which comprise cutsets for the Graph and which have the least number of GraphArcs. |
| MohsScaleFn | (MohsScaleFn ?SUBSTANCE) returns a RealNumber between 0 to 10. The Mohs Scale of mineral hardness is a qualitative ordinal scale from 1 to 10, characterizing scratch resistance of minerals through the ability of harder material to scratch softer material. The scale was introduced in 1812 by the German geologist and mineralogist Friedrich Mohs. Diamond was the hardest known naturally occurring mineral when the scale was designed, and defines the top of the scale, arbitrarily set at 10. Each of the ten hardness values in the Mohs scale is represented by a reference mineral, most of which are widespread in rocks. Some substance have a hardness between two of the Mohs scale reference minerals.The hardness of a material is measured against the scale by finding the hardest material that the given material can scratch, or the softest material that can scratch the given material. For example, if some material is scratched by apatite but not by fluorite, its hardness on the Mohs scale would be between 4 and 5. [Wikipedia] |
| MorningFn | A UnaryFunction that returns the class of Mornings of the given Day. |
| MusicalComponentFn | The function (MusicalComponentFn ?S) returns the instance of the MusicalComposition component of the Song ?S |
| NationalAnthemFn | The function (NationalAnthemFn ?N) returns the instance of Music that is considered as the national anthem of a particular Nation ?N |
| NetworkCommunicationFn | A Function that returns an class of NetworkCommunication over the given type of ComputerNetwork. |
| SenseInabilityFn | The class of lacking capacity for Perception of some sort. |
| NumeratorFn | (NumeratorFn ?NUMBER) returns the numerator of the canonical reduced form ?NUMBER. |
| OccupationFn | (OccupationFn ?PROCESS) denotes the subclass of ?PROCESS where instances of ?PROCESS are performed as one's occupation, i.e. as part of a FinancialTransaction where one earns money for the performance of ?PROCESS. |
| OperatingFn | (OperatingFn ?DEVICE) denotes the class of events in which a Device of type ?device is operated. |
| OrganicObjectFn | (OrganicObjectFn ?ORGCLASS) denotes the Class of Object derived from an OrganicObject. The Object was once a living Organism or a living part of an Organism. For example, Hardwood is made from harvesting the PlantStems of a DeciduousTree. Juice is made from FruitOrVegetable of a Plant. |
| OuterBoundaryFn | (OuterBoundaryFn ?REGION) denotes the outer boundary of the Region ?REGION, where ?REGION has an inner and outer orientation with respect to another object. |
| OverseasAreaFn | (OverseasAreaFn ?AREA) denotes the class of OverseasAreas that belong to the GeopoliticalArea ?AREA. |
| PainFn | A Function that returns that class of Pain affecting a particular BodyPart of an Animal. |
| ParalysisFn | A Function that returns that class of Paralysis affecting a particular BodyPart of an Animal. |
| PastFn | A UnaryFunction that maps a TimePosition to the TimeInterval that meets it and that begins at NegativeInfinity. |
| PathWeightFn | A UnaryFunction that maps a GraphPath to the sum of the arcWeights on the GraphArcs in the GraphPath. |
| PerimeterAreaFn | (PerimeterAreaFn ?REGION) denotes a class including any peripheral zones extending outward from the Region ?REGION. |
| PhysicalQuantityToNumberFn | (PhysicalQuantityToNumberFn ?QLIST) converts the PhysicalQuantities in a MeasuringResultList (?QLIST) to another list of corresponding Numbers in exactly the same order sequence. |
| PlantFn | This function denotes the class of Plant of a given PlantAnatomicalStructure, such as Seed or Flower or FruitOrVegetable. |
| PlayingInstrumentFn | (PlayingInstrumentFn ?INSTRUMENT) denotes the class of events in which a musical instrument of type ?INSTRUMENT is played. |
| PopulationFn | (PopulationFn ?AREA) denotes the Integer that represents the count of the number of people inhabiting the GeopoliticalArea ?AREA. This number gives an estimate from the US Bureau of the Census based on statistics from population censuses, vital statistics registration systems, or sample surveys pertaining to the recent past and on assumptions about future trends. The total population presents one overall measure of the potential impact of the country on the world and within its region. Note: Starting with the 1993 Factbook, demographic estimates for some countries (mostly African) have explicitly taken into account the effects of the growing impact of the HIV/AIDS epidemic. These countries are currently: The Bahamas, Benin, Botswana, Brazil, Burkina Faso, Burma, Burundi, Cambodia, Cameroon, Central African Republic, Democratic Republic of the Congo, Republic of the Congo, Cote d'Ivoire, Ethiopia, Gabon, Ghana, Guyana, Haiti, Honduras, Kenya, Lesotho, Malawi, Mozambique, Namibia, Nigeria, Rwanda, South Africa, Swaziland, Tanzania, Thailand, Togo, Uganda, Zambia, and Zimbabwe. |
| PortFacilityFn | (PortFacilityFn ?CITY) denotes the PortFacility, including mooring areas, docking space, and on_land support facilities for marine traffic, of the Port ?CITY, considered as a whole. |
| PowerSetFn | (PowerSetFn ?CLASS) mapea el SetOrClass ?CLASS al SetOrClass de todas las subclasses de ?CLASS. |
| PredecessorFn | A UnaryFunction that maps an Integer to its predecessor, e.g. the predecessor of 5 is 4. |
| PremisesFn | (PremisesFn ?ARGUMENT) returns the complete set of premises of the Argument ?ARGUMENT. |
| PressingKeyFn | (PressingKeyFn ?KEY_TYPE) indicates the type of action of typing a KeyboardKey of the specified type. |
| ProbabilityFn | One of the basic ProbabilityRelations, ProbabilityFn is used to state the a priori probability of a state of affairs. (ProbabilityFn ?FORMULA) denotes the a priori probability of ?FORMULA. |
| ProfessionalFn | A social role that is an occupation |
| PropertyFn | A UnaryFunction that maps an AutonomousAgent to the Set of Objects owned by the AutonomousAgent. |
| QPViewsFn | (QPViewsFn ?VISITOR) returns all the instances of AccessingWebPage where ?Visitor is the agent and the desitination is a treatedPage |
| QualifiedTreatmentsFn | (QualifiedTreatmentsFn ?VISITOR) returns all the Processes that ?VISITOR has the capability of being the experiencer of which are qualifying events of Experimentings. |
| QualifyingEventsFn | (QualifyingEventsFn ?EXPERIMENT) returns the Collection of all Processes that are experimentalControlProcesses or experimentalVariableProcesses of ?EXPERIMENT. |
| QualifyingPurchasesFn | |
| PPSFn | QualifyingPurchases per TreatedUser. Accounts for purchases immediately following a qualifying event |
| RadiusFn | (RadiusFn ?CIRCLE) denotes the length of the radius of the Circle ?CIRCLE. |
| RationalNumberFn | (RationalNumberFn ?NUMBER) returns the rational representation of ?NUMBER. |
| RealNumberFn | (RealNumberFn ?NUMBER) returns the part of ?NUMBER that is a RealNumber. |
| ReceivingAnObjectFn | (ReceivingAnObjectFn ?CLASS) denotes a subclass of Getting, all instances of which have some instance of ?CLASS as the object received (patient). |
| RegionalLawFn | (RegionalLawFn ?AREA) denotes the laws pertaining in the GeopoliticalArea ?AREA that are established and enforced by the Government of ?AREA. For example, (RegionalLawFn UnitedStates) denotes the laws of the government of the UnitedStates and its constituent units. |
| ResidentFn | (ResidentFn ?AREA) denotes the GroupOfPeople who have their home in ?AREA. |
| RoundFn | (RoundFn ?NUMBER) is the Integer closest to ?NUMBER on the number line. If ?NUMBER is halfway between two Integers (for example 3.5), it denotes the larger Integer. |
| SenseImpairmentFn | A diminished capacity for Perception of some sort. |
| ShipBerthingFn | (ShipBerthingFn ?SHIP) denotes the class of ShipBerthings of an individual WaterVehicle ?SHIP. |
| ShipCrewFn | (ShipCrewFn ?BOAT) denotes the Organization consisting of the people charged with operating the WaterVehicle ?BOAT. |
| ShipRegisterFn | (ShipRegisterFn ?AREA) denotes the ShipRegister of the Ships that fly the flag of the GeopoliticalArea ?AREA. |
| ShortageFn | (ShortageFn ?TYPE) means that there is a shortage of objects of ?TYPE, which are used as resources. |
| ShutdownFn | (ShutdownFn ?Program) returns an instance of ShutdownBlock which contains the instructions to end ?PROGRAM. |
| SignumFn | (SignumFn ?NUMBER) denotes the sign of ?NUMBER. This is one of the following values: -1, 1, or 0. |
| SineFn | (SineFn ?DEGREE) is the sine of ?DEGREE. The sine of ?DEGREE is the ratio of the side opposite ?DEGREE to the hypotenuse in a right-angled triangle. |
| SiteSpeedFn | (SiteSpeedFn ?ACCESSING) returns the TimeInterval that represents the length of time it takes to load the WebPage which is the patient of the AccessingWebPage ?ACCESSING. The interval begins at the EndFn of a Requesting of that page by the WebBrowser, and ends at the EndFn of a DataTransfer of that page where the browser is the destination of the transfer. |
| SquareRootFn | (SquareRootFn ?NUMBER) is the principal square root of ?NUMBER. |
| SquareUnitFn | (SquareUnitFn ?UNIT) denotes the UnitOfMeasure that is the square of the UnitOfMeasure ?UNIT. For example, (SquareUnitFn (KiloFn Meter)) denotes the unit of a square kilometer. |
| SRPEngagementFn | (SRPEngagementFn ?SRP) returns the number of RequestingHyperlinks from a SearchResultsPage where the destination is either ProductDescriptionPage or a ViewItemPage, over the number of SRPResults |
| StandardDeviationFn | It is a UnaryFunction to return the standard deviation of a List of numbers. Standard deviation measures the amount of variation or dispersion of the numbers in the list. It is the SquareRootFn of the variance of the list. |
| StartFn | (StartFn ?PROCESS) denotes IntentionalProcesses of bringing it about that Processes of type ?PROCESS begin, e.g. start working, begin running, etc. |
| StartupFn | (StartupFn ?Program) returns an instance of StartupBlock which contains the instructions to start the ?Program. |
| StopFn | (StopFn ?PROCESS) denotes IntentionalProcesses of bringing it about that Processes of type ?PROCESS end, e.g. stop walking, quit working, etc. |
| StringLengthFn | 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")). |
| SuccessorFn | A UnaryFunction that maps an Integer to its successor, e.g. the successor of 5 is 6. |
| ListSumFn | The sum of all the numbers in a List. |
| SupplyFn | The number of items being sold on the market |
| SupremeCourtFn | (SupremeCourtFn ?AREA) denotes the class of the highest court(s) in the judicial system of GeopoliticalArea ?AREA. For example, the UnitedStatesSupremeCourt belongs to the class (SupremeCourtFn UnitedStates). |
| TangentFn | (TangentFn ?DEGREE) is the tangent of ?DEGREE. The tangent of ?DEGREE is the ratio of the side opposite ?DEGREE to the side next to ?DEGREE in a right-angled triangle. |
| TerminalNodeFn | A UnaryFunction that maps a GraphArc to the terminal node of the GraphArc. Note that this is a partial function. In particular, the function is undefined for GraphArcs that are not part of a DirectedGraph. |
| TerritorialSeaFn | (TerritorialSeaFn ?POLITY) denotes the TerritorialSea that is claimed by the GeopoliticalArea ?POLITY. |
| ReverseFn | The reverse of a string. |
| TransitFn | (TransitFn ?WAY) denotes the class of Translocations that consist of travelling along the Transitway ?WAY. |
| TransportationFn | (TransportationFn ?TYPE) denotes the subclass of Transportation events in which a TransportationDevice of ?TYPE is the vehicle. |
| TreatedUsersFn | (TreatedUsersFn ?EXPERIMENT) returns a Collection of all Humans who where treatedUsers in ?EXPERIMENT. |
| TripFn | (TripFn ?VEHICLE) denotes the subclass of Transportation events in which a particular TransportationDevice ?VEHICLE is the vehicle. Contrast this function with TransportationFn, which is used to denote transportation events by a specific kind of vehicle. |
| UnitFn | UnitFn returns just the UnitOfMeasure of a PhysicalQuantity with an associated UnitOfMeasure and RealNumber magnitude. For example, the unit of the ConstantQuantity (MeasureFn 2 Kilometer) is the UnitOfMeasure Kilometer. |
| VarianceFn | It is a UnaryFunction to return the variance given a List of numbers. The numerical variance computates over values in an entire population. |
| VickersHardnessFn | (VickersHardnessFn ?SUB) returns as its value in Kg/mm2. The Vickers hardness test was developed in 1921 by Robert L. Smith and George E. Sandland at Vickers Ltd. The unit of hardness given by the test is known as the Vickers Pyramid Number (HV) or Diamond Pyramid Hardness (DPH). A diamond in the form of a square-based pyramid was established to be the indenter. The included angle between plane faces of the indenter tip from each face normal to the horizontal plane is established to be 22 degree on each side. The HV number is then determined by the ratio F/A, where F is the force applied to the diamond in kilograms-force and A is the surface area of the resulting indentation in square millimeters.[Wikipedia] |
| VotingFn | (VotingFn ?ELECTION) denotes the class of voting events that occur as part of the Election ?ELECTION. |
| WealthFn | A UnaryFunction that maps an AutonomousAgent to a CurrencyMeasure specifying the value of the property owned by the AutonomousAgent. Note that this Function is generally used in conjunction with the Function PropertyFn, e.g. (WealthFn (PropertyFn BillGates)) would return the monetary value of the sum of Bill Gates' holdings. |
| WeekAfterFn | A Function that returns the week immediately after the beginning of the given TimePosition. |
| WeekBeforeFn | A Function that returns the week immediately preceding the beginning of the given TimePosition. |
| WeekBeforeMenstruationFn | The a Function that returns the Class of all Weeks immediately before the start of Menstruation for a particular Woman. |
| WhenFn | A UnaryFunction that maps an Object or Process to the exact TimeInterval during which it exists. Note that, for every TimePoint ?TIME outside of the TimeInterval (WhenFn ?THING), (time ?THING ?TIME) does not hold. |
| YearFn | A UnaryFunction that maps a number to the corresponding calendar Year. For example, (YearFn 1912) returns the Class containing just one instance, the year of 1912. As might be expected, positive integers return years in the Common Era, while negative integers return years in B.C.E. Note that this function returns a Class as a value. The reason for this is that the related functions, viz. MonthFn, DayFn, HourFn, MinuteFn, and SecondFn, are used to generate both specific TimeIntervals and recurrent intervals, and the only way to do this is to make the domains and ranges of these functions classes rather than individuals. |
| ReciprocalFn | (ReciprocalFn ?NUMBER) is the reciprocal element of ?NUMBER with respect to the multiplication operator (MultiplicationFn), i.e. 1/?NUMBER. Not all numbers have a reciprocal element. For example the number 0 does not. If a number ?NUMBER has a reciprocal ?RECIP, then the product of ?NUMBER and ?RECIP will be 1, e.g. 3*1/3 = 1. The reciprocal of an element is equal to applying the ExponentiationFn function to the element to the power -1. |