|
Relationships
|
|
|
|
| Parents |
2項関係 |
BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.
|
| |
関数 |
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 |
1対1関数 | 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 | (AbsoluteValueFn ?NUMBER) の値は 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 | UnaryFunction は、与えられた Day の Afternoon のクラスを返す。 |
| | 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 | Function は、Object の FrontFn の反対側に マップされている。注：これは 一部の Objects に側面がない為、部分的関数である。例：リンゴと球。 ImmediateFutureFn と ImmediatePastFn が無限であるように、この Function の range も 無限であることにも注意する。 最も一般的な事例についての広範な主観間合意がある為、この不明確さは 理論的な観点からは望ましくないが、重要な実用的意義を持たない。 |
| | BeginFn | UnaryFunction は TimeInterval を 間隔が開始され る TimePoint にマップする。 |
| | BeginNodeFn | UnaryFunction は、GraphPath を GraphPath の先頭である GraphNode にマップする。 注：InitialNodeFn (GraphArc と GraphNode を関 連付ける) とは異なり、BeginNodeFn は完全な関数であり、すべての GraphPath には始まりがある。 |
| | 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) は、SetOrClass ?CLASS内のインスタンスの数または ?CLASS Collection のメンバーの数を返す。 |
| | CeilingFn | (CeilingFn ?NUMBER) は、RealNumber ?NUMBER より最大以上以上の最小 Integer を返す。 |
| | CenterOfCircleFn | (CenterOfCircleFn ?CIRCLE)は、Circle ?CIRCLEの中心である GeometricPoint を示す。 |
| | CitizenryFn | (CitizenryFn ?AREA) denotes the GroupOfPeople who are legal and permanent residents of the GeopoliticalArea ?AREA. |
| | ComplementFn | 指定された SetOrClass C の補数は、C のインス、 ンスではないすべてのものである。言い換えると、オブジェクトはCのインスタンスでない場合に備えて、 SetOrClass 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) は PlaneAngleMeasure ?DEGREEの余弦をす。 ?DEGREEの余弦は、直角三角形の斜辺に対する?DEGREEの横の比率である。 |
| | 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 | UnaryFunction は、切り取るとグラフを２つの別々の グラフに分割する GraphPath の Class の 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) は、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 | UnaryFunction は、TimeInterval を間隔が終了する TimePoint にマップする。 |
| | EndNodeFn | UnaryFunction は、GraphPath を GraphPath の 終わりである GraphNode にマップする。 注：TerminalNodeFn(GraphArc を GraphNode に関 連する)とは異なり、EndNodeFn は合計関数であり、すべての GraphPath には終わりがある。 |
| | EveningFn | UnaryFunction は、指定された Day の Evening のクラスを返す。 |
| | 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 | メンバーシップの条件が Attribute である Class に Attribute をマップする UnaryFunction。 |
| | 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) は、 RealNumber ?NUMBER 以下 の最大 Integer を返す。 |
| | 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 | Function は一般的に最も注目される側に Object をマップするか、もしくは通常 Object が移動する方向に向く。注：これは 一部の Objects に側面が ない為、部分的関数である。例：リンゴと球。ImmediateFutureFn と ImmediatePastFn が無限 であるように、この Function の range も無限であることにも注意する。 最も一般的な事例 についての広範な主観間合意がある為、この不明確さは理論的な観点からは望ましくないが、重要な実用的 意義を持たない。 |
| | FutureFn | UnaryFunction は、PositiveInfinity で満たして 終了する TimePosition をマップする。 |
| | GeneralizedIntersectionFn | UnaryFunction は、Class の %SetOrClass を単一の引数として受け取り、元の %SetOrClass の内のすべての %SetOrClass の交点であ る %SetOrClass を返す。 すなわち、%SetOrClass は元の %SetOrClass のすべてのインスタンスのインス タンスであるインスタンスだけを含む。 |
| | GeneralizedUnionFn | A UnaryFunction は、Classes の SetOrClas を単一の引数として受け取り、元の SetOrClass 内のすべての Class のマージである Classes を返す。 すなわち、SetOrClass は、元の 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 は、Hole を主ホストである Object にマップする。Hole の原理ホストは、その最大に接続されたホストである (引数がホールである 場合にのみ定義される概念)。 |
| | HoleSkinFn | A UnaryFunction は、Hole を Hole のスキン にマッピングする。Hole のスキンは、Hole が外部に接続されている Hole の主ホスト (superficialPart を参照)の表面的な部分(HoleHostFn を参照)の融合である。 |
| | ImaginaryPartFn | (ImaginaryPartFn ?NUMBER) は、-1 の平方 根を持つ ?NUMBER の部分を係数として返す。 |
| | 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 | UnaryFunction は、TimePosition を、 TimePosition の直後に続く短い不確定 TimeInterval にマップする。 |
| | ImmediatePastFn | UnaryFunction は、TimePosition を TimePosition の直前にある短い不確定 TimeInterval にマップする。 |
| | 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 | UnaryFunction は、GraphArc を GraphArc の初期ノードにマップする。 注：これは部分的な関数。特に、DirectedGraph の一部ではない GraphArc の関数は未定義である。 |
| | 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) は、 ?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 | Function は、 List を唯一の引数として受け 取り、List 内の項目数を返す。例：(ListLengthFn (ListFn Monday Tuesday Wednesday)) は３の値を返す。 |
| | 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 | UnaryFunction は、Graph のカットセット を構成し、GraphArc の数が最も少ない GraphPath の Graph Class を割り当てる。 |
| | 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 | UnaryFunction は、与えられた Day の Morning のクラスを返す。 |
| | 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 |
| | ネットワーク通信機能 | 指定されたタイプのComputerNetwork 上のNetworkCommunicationクラスで返される機能。 |
| | SenseInabilityFn | The class of lacking capacity for Perception of some sort. |
| | NumeratorFn | (NumeratorFn ?NUMBER) は、正規の縮小フォーム ?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 | UnaryFunction は、TimePosition を TimeInterval にマッピングし、NegativeInfinity で始まる。 |
| | PathWeightFn | UnaryFunction は、GraphPath を GraphPath 内にある GraphArcs 上の arcWeights の合計にマップする。 |
| | 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) は、SetOrClass ?CLASSを ?CLASSのすべての subclasses のSetOrClass へマップする。 |
| | PredecessorFn | UnaryFunction は、Integer をその前身に マップする。 例：５の前身は４である。 |
| | 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 | 基本的な ProbabilityRelation の一つは、 ProbabilityFn は、事態の先行確率を述えるために使用される。((ProbabilityFn ?FORMULA) は ?FORMULAの先行確率を示する。 |
| | ProfessionalFn | A social role that is an occupation |
| | PropertyFn | UnaryFunction は、Agent を Agent が所有する OObject Set にマップする。 |
| | 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) は、?NUMBER の合理的な表現を返す。 |
| | RealNumberFn | (RealNumberFn ?NUMBER) は、RealNumber で ある?NUMBERの部分を返す。 |
| | 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) は、番号行の?NUMBERに最も近い Integer。?NUMBERが２つの Integer の中間にある場合 (たとえば 3.5)、大きな 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) は、?NUMBERの符号を示し、−１、 １、または０のいずれかの値を示す。 |
| | SineFn | (SineFn ?DEGREE) は、PlaneAngleMeasure ?DEGREE の正弦である。?DEGREEの正弦は、直角三角形の斜辺に対する?DEGREEの反対側の比率である。 |
| | 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) は、?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 | UnaryFunction は、Integer をその後身にマッ プする。例：５の後身は６である。 |
| | 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) は、PlaneAngleMeasure ?DEGREE の接線である。 ?DEGREEの接線は、直角三角形の?DEGREEの横の反対側の?DEGREEの比率である。 |
| | TerminalNodeFn | UnaryFunction は、 GraphArc を GraphArc の端子ノードにマップする。 注：これは部分的な関数。特に、DirectedGraph の一部では ない GraphArc の関数は未定義である。 |
| | 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 は、関連付けられた UnitOfMeasure と RealNumber の大きさを持つ PhysicalQuantity の UnitOfMeasure だけを返す。 例： ConstantQuantity (MeasureFn 2 Kilometer) の単位は 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 | UnaryFunction は、Agent を Agent が所有する プロパティの値を指定する CurrencyMeasure にマップする。注：この Function は一般に Function PropertyFn と組み合わせて使用される。例：(WealthFn (PropertyFn BillGates)) は、ビル・ゲ イツの保有額の金額を返す。 |
| | 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 | UnaryFunction は、Object または Process が存在 する正確な TimeInterval にマップされる。 注：%TimeInterval の外側のすべての TimeInterval (WhenFn ?THING) では、(時間 ?THING ?TIME) は保持されない。 |
| | YearFn | UnaryFunction は、数値を対応するカレンダー Year にマップする。 注：(YearFn 1912) は、１９１２年の１つのインスタンスだけを含む Class を返 す。予想どおり、正の整数は西暦紀元に年を返し、負の整数は紀元前に年を返す。この関数は値として Class を返す。 この理由は、関連する関数 viz である。MonthFn、DayFn、HourFn、MinuteFn、 および SecondFn は、特定の TimeInterval と反復間隔の両方を生成するために使用され、これを行う 唯一の方法は、個々別々ではなく、これらの関数クラスのドメインと範囲を作成することである。 |
| | ReciprocalFn | (ReciprocalFn ?NUMBER) は、乗算演算子 (MultiplicationFn) に対する?NUMBERの逆数要素、すなわち1/?NUMBERである。すべての数値に相互要素 があるわけではない。 例えば、数値０はそうではない。数値?NUMBERに相互?RECIPがある場合、?NUMBERと ?RECIPの積は１になる。 例：3*1/3 = 1。要素の逆数は、要素に ExponentiationFn 関数を power -1 に適用することに対して equal である。 |