Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Sigma KEE - UnaryFunction
KB Term: 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
unary function
The Class of Functions that require a single argument.
Relationships      
Parents binary relation 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.
  inheritable relation The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
Children one to one functionThe 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).
 unit of measure multiplierEach 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.
Instancesabsolute valueThe value of (AbsoluteValueFn ?NUMBER) is the absolute value of the RealNumber ?NUMBER.
 accountA unary function that maps a FinancialAsset to the FinancialAccount associated with the Asset.
 address(AddressFn ?FILE) returns as its value the physical address of the ComputerFile ?FILE.
 afternoon ofA UnaryFunction that returns the class of Afternoons of the given Day.
 Agent of organism fnA Function that returns the BiologicalAgent composed of the given Organism in a Solution of Mixture.
 agreement organization(AgreementOrganizationFn ?AGR) denotes the official Organization established by the Agreement ?AGR to administer or enforce the terms of that agreement.
 arccosineThe inverse of CosineFn.
 arcsineThe inverse of SineFn.
 arctangentThe inverse of TangentFn.
 available for military service male(AvailableForMilitaryServiceMaleFn ?AREA) denotes the Integer that represents the count of the population of males of military age in the GeopoliticalArea ?AREA.
 average buying priceAverage Selling Price. Total GMV divided by the total number of items sold (not the transactions) in a given time interval.
 average buying priceAverage buying price. Total GMB divided by the total number of items sold (not the transactions) in a given time interval.
 average functionThe average of the Numbers in a List
 backA 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.
 beginA UnaryFunction that maps a TimeInterval to the TimePoint at which the interval begins.
 begin nodeA 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.
 Belief group member fnA Function that defines a member of a BeliefGroup.
 bid count(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.
 body areaA Function that denotes the area near a given organ or structure of the body such as 'bicep area' or 'stomach area'.
 bought items(BoughtItemsFn ?COLL) returns the number of Physical which are patients of Buyings which are members of ?COLL.
 cabinet(CabinetFn ?AREA) denotes the GovernmentCabinet associated with the government of the GeopoliticalArea ?AREA.
 cardinality(CardinalityFn ?CLASS) returns the number of instances in the SetOrClass ?CLASS or the number of members in the ?CLASS Collection.
 ceiling(CeilingFn ?NUMBER) returns the smallest Integer greater than or equal to the RealNumber ?NUMBER.
 center of circle(CenterOfCircleFn ?CIRCLE) denotes the GeometricPoint that is the center of the Circle ?CIRCLE.
 citizenry(CitizenryFn ?AREA) denotes the GroupOfPeople who are legal and permanent residents of the GeopoliticalArea ?AREA.
 complementThe 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.
 constitution(ConstitutionFn ?AREA) denotes a class containing all Constitutions adopted by the government of the GeopoliticalArea ?AREA. For example, (ConstitutionFn UnitedStates) contains the ConstitutionOfTheUnitedStates.
 conversion rate(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.
 cosine(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.
 Covering fnA Function that produces the class of all things intended to be used in Covering a particular BodyPart.
 CPU utilization(CPUUtilizationFn ?PROGRAM) refers to the percentage of time the CPU is used by an application ?PROGRAM.
 currencyA unary function that maps a FinancialAccount to the currency linked to the account.
 cut setA 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.
 datum(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.
 Dead fn(DeadFn ?ORGCLASS) denotes the Class of all remains that were once part of Living Organisms of the type ?ORGCLASS.
 dead or missing body part fnA 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)
 demandThe quantity of a good that consumers want to buy, and are able to purchase at various prices during a given time.
 Demonym fnA GroupOfPeople defined by their birthplace or where the Residence they inhabit is located.
 denominator(DenominatorFn ?NUMBER) returns the denominator of the canonical reduced form of the RealNumber ?NUMBER.
 descendants(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).
 diameter(DiameterFn ?CIRCLE) denotes the length of the diameter of the Circle ?CIRCLE.
 document(DocumentFn ?PROP) denotes a class of Text objects that contain the information ?PROP.
 edemaA Function that returns the class of Edema cases in the given BodyPart.
 election(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.
 elevation high point(ElevationHighPointFn ?AREA) denotes the area within the GeographicArea ?AREA that has the highest elevation.
 elevation low point(ElevationLowPointFn ?AREA) denotes the area within the GeographicArea ?AREA that has the lowest elevation.
 email domain part fnThe domain part of an email.
 email local part fnThe local part of an email, which is typically a user's name or ID.
 endA UnaryFunction that maps a TimeInterval to the TimePoint at which the interval ends.
 end nodeA 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.
 Evening fnA UnaryFunction that returns the class of Evenings of the given Day.
 exclusive fishing zone(ExclusiveFishingZoneFn ?POLITY) denotes the ExclusiveFishingZone that is claimed by the GeopoliticalArea ?POLITY.
 executive branch(ExecutiveBranchFn ?ORG) denotes the executive branch of ?ORG, with all its officials and agencies, considered as a whole.
 extended fishing zone(ExtendedFishingZoneFn ?POLITY) denotes the ExtendedFishingZoneFn that is claimed by the GeopoliticalArea ?POLITY, beyond its ExclusiveFishingZone.
 extensionA UnaryFunction that maps an Attribute into the Class whose condition for membership is the Attribute.
 failure fnA 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.
 farm of product fnA Function that returns a class of the farm of a given type of Organism.
 first(FirstFn ?LIST) returns the first item in the List ?LIST. For example, (FirstFn (ListFn Monday Tuesday Wednesday)) would return the value of Monday.
 fiscal year(FiscalYearFn ?PLACE) denotes the subclass of TimeIntervals that are fiscalYearPeriods of the Organization or GeopoliticalArea ?PLACE.
 fit for military service male(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.
 floor(FloorFn ?NUMBER) returns the largest Integer less than or equal to the RealNumber ?NUMBER.
 flow(FlowFn ?FLUID) denotes the Motion process associated with the constitutive pieces of the FlowRegion ?FLUID.
 flow region(FlowRegionFn ?FLOW) denotes the region in which the coherent LiquidMotion process ?FLOW is occurring.
 food for fnA 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.
 frontA Function that maps an Object to the side that generally receives the most attention or that typically faces the direction in which the Object moves. 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.
 futureA UnaryFunction that maps a TimePosition to the TimeInterval which it meets and which ends at PositiveInfinity.
 generalized intersectionA 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.
 generalized unionA 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.
 geographic center(GeographicCenterFn ?REGION) denotes the geographical center of the GeographicArea ?REGION.
 government(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.
 gross merchandise boughtThe sum of all transactionAmounts for a collection of Buyings where all the agents of the buyings are in the same GeopoliticalArea.
 gross merchandise bought in auctionsThe sum of all purchase prices in a collection of Auctionings.
 gross merchandise volumeThe sum of all transactionAmounts for a collection of Sellings where all the agents of the sellings are in the same GeopoliticalArea.
 hole hostA 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).
 hole skinA 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.
 imaginary part(ImaginaryPartFn ?NUMBER) returns the part of ?NUMBER that has the square root of -1 as its factor.
 immediate family(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.
 immediate futureA UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately follows the TimePosition.
 immediate pastA UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately precedes the TimePosition.
 impaired body part fnA 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)
 impairmentA faulty or compromised Process of the normal body.
 infectionDenotes the InfectiousDisease caused by the given Microorganism.
 inflammationInflammation of a specific BodyPart.
 initial nodeA 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.
 initial profileThe function which returns as its value the initial profile of the program, i.e. a report of its execution characteristics.
 injuryA Function that denotes an Injury resulting from a specific kind of Process.
 inner boundary(InnerBoundaryFn ?REGION) denotes the inner boundary of the Region ?REGION, where ?REGION has an inner and outer orientation with respect to another object.
 integer square root(IntegerSquareRootFn ?NUMBER) returns the integer square root of ?NUMBER.
 Janka Hardness(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]
 judiciary(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.
 juice of fnThis function defines the class of Juice created from a given FruitOrVegetable.
 last(LastFn ?LIST) returns the last item in the List ?LIST. For example, (LastFn (ListFn Monday Tuesday Wednesday)) would return the value of Wednesday.
 legislature(LegislatureFn ?AREA) denotes the legislative branch of the GeopoliticalArea ?AREA.
 level planeCenterOfPlanetFn 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.
 list lengthA 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.
 lyrical component functionThe function (LyricalComponentFn ?S) returns the instance of the LyricalContent component of the Song ?S
 Making fnA Function that denotes the creation of an Object.
 male to female ratio(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.
 maritime claims territorial sea(MaritimeClaimsTerritorialSeaFn ?REGION) denotes a peripheral zones of maritime control extending outward from the Region ?REGION.
 maritime contiguous zone(MaritimeContiguousZoneFn ?POLITY) denotes the MaritimeContiguousZone that is claimed by the GeopoliticalArea ?POLITY.
 maritime exclusive economic zone(MaritimeExclusiveEconomicZoneFn ?POLITY) denotes the MaritimeExclusiveEconomicZone that is claimed by the GeopoliticalArea ?POLITY.
 maritime shelf area(MaritimeShelfAreaFn ?POLITY) denotes the MaritimeShelfArea that is claimed by the GeopoliticalArea ?POLITY.
 marketThe market where a particular good is available for sale. 'the housing market', or 'car market'
 marketThe market in a particular region
 maximum value(MaxValueFn ?LIST) returns the maximum value of all the numbers in a List.
 measuring a processMeasuring a particular kind of Process.
 member(MemberFn ?ORG) denotes the Position of a member in the Organization ?ORG.
 merchant marine(MerchantMarineFn ?AREA) denotes the Collection of all commercial ships registered in the ShipRegister of the GeopoliticalArea ?AREA.
 minimal cut setA UnaryFunction that assigns a Graph the Class of GraphPaths which comprise cutsets for the Graph and which have the least number of GraphArcs.
 Mohs Scale(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]
 morning fnA UnaryFunction that returns the class of Mornings of the given Day.
 musical composition functionThe function (MusicalComponentFn ?S) returns the instance of the MusicalComposition component of the Song ?S
 national anthemThe function (NationalAnthemFn ?N) returns the instance of Music that is considered as the national anthem of a particular Nation ?N
 network communication functionA Function that returns an class of NetworkCommunication over the given type of ComputerNetwork.
 no ability ofThe class of lacking capacity for Perception of some sort.
 numerator(NumeratorFn ?NUMBER) returns the numerator of the canonical reduced form ?NUMBER.
 occupation(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.
 operating(OperatingFn ?DEVICE) denotes the class of events in which a Device of type ?device is operated.
 organic object fn(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.
 outer boundary(OuterBoundaryFn ?REGION) denotes the outer boundary of the Region ?REGION, where ?REGION has an inner and outer orientation with respect to another object.
 overseas area(OverseasAreaFn ?AREA) denotes the class of OverseasAreas that belong to the GeopoliticalArea ?AREA.
 painA Function that returns that class of Pain affecting a particular BodyPart of an Animal.
 paralysisA Function that returns that class of Paralysis affecting a particular BodyPart of an Animal.
 pastA UnaryFunction that maps a TimePosition to the TimeInterval that meets it and that begins at NegativeInfinity.
 path weightA UnaryFunction that maps a GraphPath to the sum of the arcWeights on the GraphArcs in the GraphPath.
 perimeter area(PerimeterAreaFn ?REGION) denotes a class including any peripheral zones extending outward from the Region ?REGION.
 physical quantity to number(PhysicalQuantityToNumberFn ?QLIST) converts the PhysicalQuantities in a MeasuringResultList (?QLIST) to another list of corresponding Numbers in exactly the same order sequence.
 plant fnThis function denotes the class of Plant of a given PlantAnatomicalStructure, such as Seed or Flower or FruitOrVegetable.
 playing instrument fn(PlayingInstrumentFn ?INSTRUMENT) denotes the class of events in which a musical instrument of type ?INSTRUMENT is played.
 population(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.
 port facility(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.
 power set(PowerSetFn ?CLASS) maps the SetOrClass ?CLASS to the SetOrClass of all subclasses of ?CLASS.
 predecessorA UnaryFunction that maps an Integer to its predecessor, e.g. the predecessor of 5 is 4.
 premises(PremisesFn ?ARGUMENT) returns the complete set of premises of the Argument ?ARGUMENT.
 pressing key fn(PressingKeyFn ?KEY_TYPE) indicates the type of action of typing a KeyboardKey of the specified type.
 probabilityOne 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.
 professionA social role that is an occupation
 propertyA UnaryFunction that maps an AutonomousAgent to the Set of Objects owned by the AutonomousAgent.
 qualifed page views(QPViewsFn ?VISITOR) returns all the instances of AccessingWebPage where ?Visitor is the agent and the desitination is a treatedPage
 qualifed treatments(QualifiedTreatmentsFn ?VISITOR) returns all the Processes that ?VISITOR has the capability of being the experiencer of which are qualifying events of Experimentings.
 Qualifying Factor or Event(QualifyingEventsFn ?EXPERIMENT) returns the Collection of all Processes that are experimentalControlProcesses or experimentalVariableProcesses of ?EXPERIMENT.
 Qualifying Purchase
 qualifying purchases per userQualifyingPurchases per TreatedUser. Accounts for purchases immediately following a qualifying event
 radius(RadiusFn ?CIRCLE) denotes the length of the radius of the Circle ?CIRCLE.
 rational number(RationalNumberFn ?NUMBER) returns the rational representation of ?NUMBER.
 real number(RealNumberFn ?NUMBER) returns the part of ?NUMBER that is a RealNumber.
 receiving an object fn(ReceivingAnObjectFn ?CLASS) denotes a subclass of Getting, all instances of which have some instance of ?CLASS as the object received (patient).
 regional law(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.
 resident(ResidentFn ?AREA) denotes the GroupOfPeople who have their home in ?AREA.
 round(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.
 sense impairmentA diminished capacity for Perception of some sort.
 ship berthing(ShipBerthingFn ?SHIP) denotes the class of ShipBerthings of an individual WaterVehicle ?SHIP.
 ship crew(ShipCrewFn ?BOAT) denotes the Organization consisting of the people charged with operating the WaterVehicle ?BOAT.
 ship register(ShipRegisterFn ?AREA) denotes the ShipRegister of the Ships that fly the flag of the GeopoliticalArea ?AREA.
 shortage(ShortageFn ?TYPE) means that there is a shortage of objects of ?TYPE, which are used as resources.
 shutdown(ShutdownFn ?Program) returns an instance of ShutdownBlock which contains the instructions to end ?PROGRAM.
 signum(SignumFn ?NUMBER) denotes the sign of ?NUMBER. This is one of the following values: -1, 1, or 0.
 sine(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.
 site speed(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.
 square root(SquareRootFn ?NUMBER) is the principal square root of ?NUMBER.
 square unit(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.
 SRP Engagement(SRPEngagementFn ?SRP) returns the number of RequestingHyperlinks from a SearchResultsPage where the destination is either ProductDescriptionPage or a ViewItemPage, over the number of SRPResults
 standard deviationIt 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.
 start(StartFn ?PROCESS) denotes IntentionalProcesses of bringing it about that Processes of type ?PROCESS begin, e.g. start working, begin running, etc.
 startup(StartupFn ?Program) returns an instance of StartupBlock which contains the instructions to start the ?Program.
 stop(StopFn ?PROCESS) denotes IntentionalProcesses of bringing it about that Processes of type ?PROCESS end, e.g. stop walking, quit working, etc.
 string length fnThis 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")).
 successorA UnaryFunction that maps an Integer to its successor, e.g. the successor of 5 is 6.
 sum of elementsThe sum of all the numbers in a List.
 supplyThe number of items being sold on the market
 supreme court(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).
 tangent(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.
 terminal nodeA 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.
 territorial sea(TerritorialSeaFn ?POLITY) denotes the TerritorialSea that is claimed by the GeopoliticalArea ?POLITY.
 the reverse ofThe reverse of a string.
 transit(TransitFn ?WAY) denotes the class of Translocations that consist of travelling along the Transitway ?WAY.
 transportation(TransportationFn ?TYPE) denotes the subclass of Transportation events in which a TransportationDevice of ?TYPE is the vehicle.
 treated users fn(TreatedUsersFn ?EXPERIMENT) returns a Collection of all Humans who where treatedUsers in ?EXPERIMENT.
 trip(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.
 unit fnUnitFn 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.
 variance functionIt is a UnaryFunction to return the variance given a List of numbers. The numerical variance computates over values in an entire population.
 Vickers Hardness(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]
 voting(VotingFn ?ELECTION) denotes the class of voting events that occur as part of the Election ?ELECTION.
 wealthA 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.
 week after fnA Function that returns the week immediately after the beginning of the given TimePosition.
 week before fnA Function that returns the week immediately preceding the beginning of the given TimePosition.
 week before menstruationThe a Function that returns the Class of all Weeks immediately before the start of Menstruation for a particular Woman.
 whenA 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.
 yearA 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 ?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.


Show simplified definition with tree view
Show full definition (without tree view)
Show full definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners