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

Formal Language: 


KB Term: 

  Skull

Sigma KEE - BinaryFunction
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
BinaryFunction
The Class of Functions that require two arguments.
Relationships      
Parents 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.
  TernaryRelation TernaryRelations relate three items. The two subclasses of TernaryRelation are TernaryPredicate and BinaryFunction.
Children AssociativeFunctionA BinaryFunction is associative if bracketing has no effect on the value returned by the Function. More precisely, a Function ?FUNCTION is associative just in case (?FUNCTION ?INST1 (?FUNCTION ?INST2 ?INST3)) is equal to (?FUNCTION (?FUNCTION ?INST1 ?INST2) ?INST3), for all ?INST1, ?INST2, and ?INST3.
 CommutativeFunctionA BinaryFunction is commutative if the ordering of the arguments of the function has no effect on the value returned by the function. More precisely, a function ?FUNCTION is commutative just in case (?FUNCTION ?INST1 ?INST2) is equal to (?FUNCTION ?INST2 ?INST1), for all ?INST1 and ?INST2.
InstancesAbortedFn(AborteFn ?AGENT ?PROCESS) is the Process ?PROCESS after it has gotten aborted by the AutonomousAgent ?AGENT
 AbortedLaunchFn(AbortedLaunchFn ?AGENT ?TAKEOFF) is the TakingOff ?TAKEOFF after it has gotten aborted by the Agent ?AGENT. To discontinue aircraft takeoff or missile launch.
 AbortedMissionFn(AborteMissionFn ?AGENT ?OP) is the MilitaryOperation ?OP after it has gotten aborted by the Agent ?AGENT
 AdditionFnIf ?NUMBER1 and ?NUMBER2 are Numbers, then (AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.
 AlbumCopiesFnThe function (AlbumCopiesFn ?A ?DS) returns a subclass of all DataStorageDevice ?DS that contains all Recording in Album ?A.
 AmountsFnA List of all the MassMeasures of instances of a type of Substance found in an Object.
 AttrFnFor given class and for given attribute, return a subclass of the class of the argument having the attribute
 BirthsPerThousandFn(BirthsPerThousandFn ?AREA ?YEAR) denotes the RealNumber that represents the number of births per thousand individuals in the population of the GeopoliticalArea ?AREA for Year ?YEAR. This number gives the average annual number of births during a year per 1,000 persons in the population at midyear, also known as crude birth rate. The birth rate is usually the dominant factor in determining the rate of population growth. It depends on both the level of fertility and the age structure of the population.
 BodySideFnA Function that takes a BodyPart that normally exists in pairs and returns the part that is on the given side of the body, for example (BodyPartFn Right Lung) or (BodyPartFn Left Arm).
 BorderFn(BorderFn ?AREA1 ?AREA2) denotes the border area where the GeographicAreas ?AREA1 and ?AREA2 meet.
 CellPartFn(CellPartFn ?CELL ?PARTTYPE) denotes the object of type ?PARTTYPE that is part of ?CELL.
 ChildrenBornPerWomanFnThis entry gives a figure for the average number of children that would be born per woman if all women lived to the end of their childbearing years and bore children according to a given fertility rate at each age. The total fertility rate is a more direct measure of the level of fertility than the crude birth rate, since it refers to births per woman. This indicator shows the potential for population growth in the country. High rates will also place some limits on the labor force participation rates for women. Large numbers of children born to women indicate large family sizes that might limit the ability of the families to feed and educate their children.
 ClickThroughRateFn(clickThroughRateFn ?VISITS ?HYPERLINK) returns the RealNumber that represents the number of times users click ?HYPERLINK divided by the number of AccessingWebPages in ?VISITS
 ContestFn(ContestFn ?CONTEST ?TI) is a BinaryFunction that returns an instance of Contest that occured during TimePoint ?TI
 DayFnA BinaryFunction that assigns a PositiveRealNumber and a subclass of Months to the Days within each Month corresponding to that PositiveRealNumber. For example, (DayFn 16 August) is the Class of all sixteenth days of August. For another example, (DayFn 9 Month) would return the class of all ninth days of any month. For still another example, (DayFn 18 (MonthFn August (YearFn 1912))) denotes the 18th day of August 1912.
 DeathsPerThousandFn(DeathsPerThousandFn ?AREA ?YEAR) denotes the RealNumber that represents the number of deaths per thousand individuals in the population of the GeopoliticalArea ?AREA for Year ?YEAR. This number gives the average annual number of deaths during a year per 1,000 population at midyear, also known as crude death rate. The death rate, while only a rough indicator of the mortality situation in a country, accurately indicates the current mortality impact on population growth. This indicator is significantly affected by age distribution, and most countries will eventually show a rise in the overall death rate, in spite of continued decline in mortality at all ages, as declining fertility results in an aging population.
 DeathsPerThousandLiveBirthsFn(DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) denotes the RealNumber that represents the number of deaths of infants under one year old in a given year per 1,000 live births in the same year. This rate is often used as an indicator of the level of health in a country.
 DensityFnDensityFn maps an instance of MassMeasure and an instance of VolumeMeasure to the density represented by this proportion of mass and volume. For example, (DensityFn (MeasureFn 3 Gram) (MeasureFn 1 Liter)) represents the density of 3 grams per liter.
 DepartmentOfFnA part of an Organization that is primary concerned with processes or objects of the given type. That is not to say that other departments may not also be concerned with these entities but merely the the principal concern of the given department or group.
 DepartmentOfPreventingFnDepartmentOfPreventingFn is a funtion which returns an instance of the department of an organisation (?COMP) charged with preventing or inhibiting a class of processes (?PHYS) of a certain kind.
 DirectionalSubregionFn(DirectionalSubregionFn ?DIRECTION ?AREA) denotes the part of GeographicArea ?AREA that lies in ?DIRECTION from the geographic center of ?AREA. For example, (DirectionalSubregionFn Iraq North) denotes the Northern part of Iraq. Such subregions are defined purely by geographical points of reference, not by sociological ones. For example, (DirectionalSubregionFn UnitedStatesOfAmerica South) denotes the Southern half of the United States, it does not denote the American South as distinguished for historical, literary, or cultural purposes.
 DivisionFnIf ?NUMBER1 and ?NUMBER2 are Numbers, then (DivisionFn ?NUMBER1 ?NUMBER2) is the result of dividing ?NUMBER1 by ?NUMBER2. Note that when ?NUMBER1 = 1 (DivisionFn ?NUMBER1 ?NUMBER2) is the reciprocal of ?NUMBER2. Note too that (DivisionFn ?NUMBER1 ?NUMBER2) is undefined when ?NUMBER2 = 0.
 EditionFnA BinaryFunction that maps a type of text (e.g. Agatha Christie's Murder-on-the-Orient-Express) and a number to the edition of the text type corresponding to the number.
 equilibriumPriceFnIn economics, the equilibrium price is the price where the quantity of a good or service demanded by consumers equals the quantity supplied by producers, creating a stable market state. This is also known as the 'market-clearing price'.
 ExponentiationFn(ExponentiationFn ?NUMBER ?INT) returns the RealNumber ?NUMBER raised to the power of the Integer ?INT.
 FemaleLifeExpectancyAtBirthFn(FealeLifeExpectancyAtBirthFn ?AREA ?YEAR) denotes the RealNumber that represents the average number of years to be lived by a group of female individuals born in the same year, if mortality at each age remains constant in the future.
 FiscalYearStartingFn(FiscalYearStartingFn ?PLACE ?YEAR) denotes the particular fiscal year that is observed in ?PLACE and begins during the calendar Year indicated by ?YEAR.
 GeographicPartTypeFn(GeographicPartTypeFn ?TYPE ?AREA) evaluates to the Class of all instances of ?TYPE that are located in the GeographicArea ?AREA.
 GPSFnGMB value for PPS purchases (item Price * Quantity Sold)
 GPIFnGMB value for PPS purchases (item Price * Quantitiy Sold) over an interval.
 GraphPathFnA BinaryFunction that maps two GraphNodes to the Class of GraphPaths between those two nodes. Note that the two GraphNodes must belong to the same Graph.
 GrossNationalProductFnA measure of a country's total economic output, encompassing the value of all goods and services produced by its residents, regardless of location
 HourFnA BinaryFunction that assigns a PositiveRealNumber and a subclass of Days to the Hours within each Day corresponding to that NonnegativeInteger. For example, (HourFn 12 Thursday) is the Class of all instances of noon Thursday. For another example, (HourFn 0 Day) would return the class of all instances of midnight. For still another example, (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912)))) denotes 2 PM on the 18th day of August 1912.
 IntersectionFnA BinaryFunction that maps two SetOrClasses to the intersection of these SetOrClasses. An object is an instance of the intersection of two SetOrClasses just in case it is an instance of both of those SetOrClasses.
 IntervalFnA BinaryFunction that maps two instances of ConstantQuantity to the subclass of ConstantQuantity that comprises the interval from the first ConstantQuantity to the second ConstantQuantity. For example, (IntervalFn (MeasureFn 8 Meter) (MeasureFn 14 Meter)) would return the subclass of ConstantQuantity comprising quantities between 8 and 14 meters in length.
 KappaFnA class-forming operator that takes two arguments: a variable and a formula containing at least one unbound occurrence of the variable. The result of applying KappaFn to a variable and a formula is the Class of things that satisfy the formula. For example, we can denote the Class of prime numbers that are less than 100 with the following expression: (KappaFn ?NUMBER (and (instance ?NUMBER PrimeNumber) (lessThan ?NUMBER 100))). Note that the use of this function is discouraged, since there is currently no axiomatic support for it.
 LevelPlaneFnLevelPlaneFn is a Function that takes a PointInSpace of a Region and an AstronomicalBody and denotes the Plane that is perpendicular to the line formed by the PointInSpace and center of the AstronomicalBody.
 LifeExpectancyAtBirthFn(LifeExpectancyAtBirthFn ?AREA ?YEAR) denotes the RealNumber that represents the average number of years to be lived by a group of people born in the same year, if mortality at each age remains constant in the future. Life expectancy at birth is also a measure of overall quality of life in a country and summarizes the mortality at all ages. It can also be thought of as indicating the potential return on investment in human capital and is necessary for the calculation of various actuarial measures.
 LiftFn(LiftFn ?QUANTITY1 ?QUANTITY2) returns the lift of the quantities. i.e. (?QUANTITY1 - ?QUANTITY2)/(?QUANTITY2). In an experiment ?QUANTITY2 is the Quantity that represents the control group.
 LineFnA Function that returns a line drawn between two point_like objects.
 ListConcatenateFnA Function that returns the concatenation of the two Lists that are given as arguments. For example, the value of (ListConcatenateFn (ListFn Monday Tuesday) (ListFn Wednesday Thursday)) would be (ListFn Monday Tuesday Wednesday Thursday).
 ListOrderFn(ListOrderFn ?LIST ?NUMBER) denotes the item that is in the ?NUMBER position in the List ?LIST. For example, (ListOrderFn (ListFn Monday Tuesday Wednesday) 2) would return the value Tuesday.
 LogFn(LogFn ?NUMBER ?INT) returns the logarithm of the RealNumber ?NUMBER in the base denoted by the Integer ?INT.
 MagneticDeclinationFnMagneticDeclinationFn takes in the latitude and longitude in AngleMeasure and returns the magnetic declination as an angle measure for that location. Magnetic declination is the angle between magnetic north and true north at a particular location on the Earth's surface, expressed in degrees and minutes east or west to indicate the direction of magnetic north from headingWRTTrueNorth. The angle can change over time due to polar wandering. By convention, declination is positive when magnetic north is east of the true north, and negative when it is to the west.[Wikipedia]
 MaleLifeExpectancyAtBirthFn(MaleLifeExpectancyAtBirthFn ?AREA ?YEAR) denotes the RealNumber that represents the average number of years to be lived by a group of male individuals born in the same year, if mortality at each age remains constant in the future.
 MarketOfItemInRegionFnThe market of a particular item in a particular region
 MaxFn(MaxFn ?NUMBER1 ?NUMBER2) is the largest of ?NUMBER1 and ?NUMBER2. In cases where ?NUMBER1 is equal to ?NUMBER2, MaxFn returns one of its arguments.
 MaximalWeightedPathFnThis BinaryFunction assigns two GraphNodes to the GraphPath with the largest sum of weighted arcs between the two GraphNodes.
 MealAttributeFn(MealAttributeFn ?MEAL ?AREA) returns a RelationalAttribute to describe the Meal ?MEAL in a specific Region ?AREA. This coveres the cases where Steak and Eggs would be dinner in Asia but breakfast in the US.
 Mean3SecondWindSpeedListFnMean3SecondWindSpeedListFn is a helper function for calculating the 3 second gust speed in the ThreeSecondGustSpeedFn. It returns a List of running 3-second average wind speeds which are FunctionQuantity(ies) occurring in a GeographicArea over a TimeInterval. The TimeDuration of the time interval is 2 MinuteDuration.
 MeasureFnThis BinaryFunction maps a RealNumber and a UnitOfMeasure to that Number of units. It is used to express `measured' instances of PhysicalQuantity. Example: the concept of three meters is represented as (MeasureFn 3 Meter).
 MemberRoleFn(MemberRoleFn ?ORG ?POSITION) denotes the role of having the Position ?POSITION the Organization ?ORG.
 MereologicalDifferenceFn(MereologicalDifferenceFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to ?OBJ1 and not to ?OBJ2.
 MereologicalProductFn(MereologicalProductFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to both ?OBJ1 and ?OBJ2.
 MereologicalSumFn(MereologicalSumFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to either ?OBJ1 or ?OBJ2.
 MigrantsPerThousandFn(MigrantsPerThousandFn ?AREA) denotes the RealNumber that represents the number of migrants per thousand individuals in the population of the GeopoliticalArea ?AREA. This entry includes the figure for the difference between the number of persons entering and leaving a country during the year per 1,000 persons (based on midyear population). An excess of persons entering the country is referred to as net immigration (e.g., 3.56 migrants/1,000 population), an excess of persons leaving the country as net emigration (e.g., -9.26 migrants/1,000 population). The net migration rate indicates the contribution of migration to the overall level of population change. High levels of migration can cause problems such as increasing unemployment and potential ethnic strife (if people are coming in) or a reduction in the labor force, perhaps in certain key sectors (if people are leaving).
 MinFn(MinFn ?NUMBER1 ?NUMBER2) is the smallest of ?NUMBER1 and ?NUMBER2. In cases where ?NUMBER1 is equal to ?NUMBER2, MinFn returns one of its arguments.
 MinimalWeightedPathFnThis BinaryFunction assigns two GraphNodes to the GraphPath with the smallest sum of weighted arcs between the two GraphNodes.
 MinuteFnA BinaryFunction that assigns a PositiveRealNumber and a subclass of Hours to the Minutes within each Hour corresponding to that NonnegativeInteger. For example, (MinuteFn 30 (HourFn 17 Day)) is the Class of all 5:30's in the afternoon. For another example, (MinuteFn 15 Hour) would return the class of all instances of quarter past the hour. For still another example, (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912))))) denotes 15 minutes after 2 PM on the 18th day of August 1912.
 MonthFnA BinaryFunction that maps a subclass of Month and a subclass of Year to the class containing the Month corresponding to that Year. For example (MonthFn August (YearFn 1912)) is the class containing the eighth Month, i.e. August, of the Year 1912. For another example, (MonthFn August Year) is equal to August, the class of all months of August. Note that this function returns a Class as a value. The reason for this is that the related functions, viz. 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.
 MultiplicationFnIf ?NUMBER1 and ?NUMBER2 are Numbers, then (MultiplicationFn ?NUMBER1 ?NUMBER2) is the arithmetical product of these numbers.
 SiteWideNewBuyersFn(SiteWideNewBuyersFn ?INTERVAL ?SITE) Returns a collection of Agents who were agents of a Buying during TimeInterval ?INTERVAL where ?SITE was the instrument, and who were not registeredUsers before ?INTERVAL.
 Mean1MinuteWindSpeedFn(Mean1MinuteWindSpeedFn ?PLACE ?TIME) returns a FunctionQuantity which is the average value of a List of 12 instantaneous of surfaceWindSpeed measurements, each taken at 5 Second intervals, over a 1 Minutes TimeDuration for ?PLACE at ?TIME, standardised to reflect the winds at 10 metres (33 feet) above the Earth's surface.
 PerFnPerFn maps two instances of PhysicalQuantity to the FunctionQuantity composed of these two instances. For example, (PerFn (MeasureFn 2 (MicroFn Gram)) (MeasureFn 1 (KiloFn Gram))) denotes the FunctionQuantity of 2 micrograms per kiogram. This function is useful, because it allows the knowledge engineer to dynamically generate instances of FunctionQuantity.
 PerCapitaFn(PerCapitaFn ?AREA ?QUANTITY) denotes the average amount of ?QUANTITY possessed by a resident of GeopoliticalArea ?AREA.
 PeriodicalIssueFnA BinaryFunction that maps a subclass of Periodical and a number to all of the issues of the Periodical corresponding to the number.
 PopulationGrowthFn(PopulationFn ?AREA ?YEAR) denotes the RealNumber that represents the average annual percent change in the population of the GeopoliticalArea ?AREA for Year ?YEAR. This average annual percent population change results from a surplus (or deficit) of births over deaths and the balance of migrants entering and leaving a country. The rate may be positive or negative. The growth rate is a factor in determining how great a burden would be imposed on a country by the changing needs of its people for infrastructure (e.g., schools, hospitals, housing, roads), resources (e.g., food, water, electricity), and jobs. Rapid population growth can be seen as threatening by neighboring countries.
 OrganismPopulationFnThe number of organisms in a given area, as an estimate or approximation.
 PPIFnQualifyingPurchases per TreatedUser in TimeInterval. Accounts for purchases immediately following a qualifying event
 QuarterFnA BinaryFunction that assigns a PositiveRealNumber and a subclass of Year to the Quarter within each Year corresponding to that PositiveRealNumber. For example, (QuarterFn 4 (YearFn 1999)) is the singular Class of the last QuarterYear of the Year 1999.
 ReachingMilitaryAgeAnnuallyMaleFn(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) ?COUNT) means that in the GeopoliticalArea ?AREA, there are ?COUNT number of male individuals who for that year ?YEAR come to be of militaryAge.
 RecurrentTimeIntervalFnA function that is useful for generating recurring time intervals. For example, (RecurrentTimeIntervalFn (HourFn 6 Day)(HourFn 12 Day)) returns the Class of TimeIntervals beginning at 6 in the morning and ending at 12 noon. For another example, (RecurrentTimeInterval Saturday Sunday) returns the Class of all weekends. For still another example, (RecurrentTimeInterval June August) returns the Class containing the academic summer period.
 RelativeComplementFnA BinaryFunction that maps two SetOrClasses to the difference between these SetOrClasses. More precisely, (RelativeComplementFn ?CLASS1 ?CLASS2) denotes the instances of ?CLASS1 that are not also instances of ?CLASS2.
 RelativeTimeFnA means of converting TimePositions between different TimeZones. (RelativeTimeFn ?TIME ?ZONE) denotes the TimePosition in CoordinatedUniversalTime that is contemporaneous with the TimePosition ?TIME in TimeZone ?ZONE. For example, (RelativeTimeFn (MeasureFn 14 HourDuration) EasternTimeZone) would return the value (MeasureFn 19 HourDuration).
 RemainderFn(RemainderFn ?NUMBER ?DIVISOR) is the remainder of the number ?NUMBER divided by the number ?DIVISOR. The result has the same sign as ?DIVISOR.
 RemixFnThe function (RemixFn ?M ?A) returns a MusicRecording instance where an CognitiveAgent ?A does something to a MusicRecording ?M that alters its arrangement, beat, tempo, etc, but still makes ?M recognizable to those listening to it.
 RotationFnA Function that maps an instance of Rotating to the speed of the rotation.
 SCRFn(SCRFn ?COLL ?INTERVAL) returns purchases made during an interval / the number of visits made during the interval. This accounts for single visits resulting in multiple purchases by the buyer.
 SeacoastFn(SeacoastFn ?LAND ?SEA) denotes the Seacoast where the GeographicArea ?LAND borders the SaltWaterArea ?SEA.
 SecondFnA BinaryFunction that assigns a PositiveRealNumber and a subclass of Minutes to the Seconds within each Minute corresponding to that PositiveRealNumber. For example, (SecondFn 4 (MinuteFn 5 Hour)) is the Class of all fourth Seconds of every fifth Minute of every hour. For another example, (SecondFn 8 Minute) would return the eighth second of every minute. For still another example, (SecondFn 9 (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912)))))) denotes 9 seconds and 15 minutes after 2 PM on the 18th day of August 1912.
 SellersItemsFn(SellersItemsFn ?AGENT ?SITE) is a BinaryFunction that returns a Collection of the items for sale by ?AGENT on the WebSite ?SITE
 SeriesVolumeFnA BinaryFunction that maps a type of Series (e.g. the Encyclopedia-Britannica or the Popular-Mechanics periodical) and a number to the volumes of the text type designated by the number.
 ShorelineFn(ShorelineFn ?LAND ?WATER) denotes the Shoreline where the GeographicArea ?LAND borders the WaterArea ?WATER.
 SiteWideNewRegistrationsFn(SiteWideNewRegistrationsFn ?INTERVAL ?SITE) returns a collection of Agents who were not registerUsers of ?SITE before ?INTERVAL, but were registeredUsers for some Interval during ?INTERVAL
 SiteWideNewSellersFn(SiteWideNewSellersFn ?INTERVAL ?SITE) Returns a collection of Agents who were agents of a Selling during TimeInterval ?INTERVAL where ?SITE was the instrument, and who were not registeredUsers before ?INTERVAL.
 SongFnThe function (SongFn ?MC ?LC) returns an instance of Song that refers to the conception of a song that has MusicalComposition ?MC and LyricalContent ?LC.
 SpeedFnMaps an instance of LengthMeasure and an instance of TimeDuration to the speed represented by this proportion of distance and time. For example, (SpeedFn (MeasureFn 55 Mile)(MeasureFn 1 HourDuration)) represents the velocity of 55 miles per hour.
 StringConcatenateFnThe result of applying this Function to two SymbolicString arguments is a third SymbolicString that is the concatenation of the two arguments. Example: (equal "Charles Darwin" (StringConcatenateFn "Charles " "Darwin")).
 SubtractionFnIf ?NUMBER1 and ?NUMBER2 are Numbers, then (SubtractionFn ?NUMBER1 ?NUMBER2) is the arithmetical difference between ?NUMBER1 and ?NUMBER2, i.e. ?NUMBER1 minus ?NUMBER2. An exception occurs when ?NUMBER1 is equal to 0, in which case (SubtractionFn ?NUMBER1 ?NUMBER2) is the negation of ?NUMBER2.
 TemporalCompositionFnThe basic Function for expressing the composition of larger TimeIntervals out of smaller TimeIntervals. For example, if ThisSeptember is an instance of September, (TemporalCompositionFn ThisSeptember Day) denotes the Class of consecutive days that make up ThisSeptember. Note that one can obtain the number of instances of this Class by using the function CardinalityFn.
 Mean10MinutesWindSpeedFn(Mean10MinutesWindSpeedFn ?PLACE ?TIME) returns a FunctionQuantity which is the average value of a List of 120 instantaneous of surfaceWindSpeed measurements, each taken at 5 Second intervals, over a 10 Minutes TimeDuration for ?PLACE at ?TIME, standardised to reflect the winds at 10 metres (33 feet) above the Earth's surface.
 Mean3MinutesWindSpeedFn(Mean3MinutesWindSpeedFn ?PLACE ?TIME) returns a FunctionQuantity which is the average value of a List of 36 instantaneous of surfaceWindSpeed measurements, each taken at 5 Second intervals, over a 3 Minutes TimeDuration for ?PLACE at ?TIME, standardised to reflect the winds at 10 metres (33 feet) above the Earth's surface.
 ThreeSecondGustSpeedFn(ThreeSecondGustSpeedFn ?PLACE ?TIME) returns the highest running 3-second average wind speed recorded at ?PLACE in the 2 minutes TimeInterval ?TIME.
 Mean3SecondWindSpeedFn(Mean3SecondWindSpeedFn ?PLACE ?TIME) returns a FunctionQuantity which is the average value of a List of 12 instantaneous of surfaceWindSpeed measurements, each taken at 0.25 Second intervals, over a 3 Second TimeDuration for ?PLACE at ?TIME, standardised to reflect the winds at 10 metres (33 feet) above the Earth's surface.
 TimeIntervalFnA BinaryFunction that takes two TimePoints as arguments and returns the TimeInterval defined by these two TimePoints.Note that the first TimePoint must occur earlier than the second TimePoint.
 TimeIntervalListFnTimeIntervalListFn is a BinaryFunction which takes a TimeInterval and TimeDuration, then denotes a sequence of continuous time intervals in a List, known as ConsecutiveTimeIntervalList.
 TimePeriodFn(TimePeriodFn ?TIMEPOINT ?DURATION) accepts TimePoint ?TIMEPOINT and TimeDuration ?DURATION and returns a TimeInterval that starts from ?TIMEPOINT and ends at the end of ?DURATION
 TTFxFn(TTFxFn ?CLASS ?ACCESSING) returns a TimeInterval where the BeginFn is the begining of the AccessingWebPage ?ACCESSING and and the EndFn is the BeginFn of the first instance of a Process of class ?CLASS that occcurs during ?ACCESSING, and the agent of that Proccess is the same as the agent of the ?ACCESSING.
 Mean2MinutesWindSpeedFn(Mean2MinutesWindSpeedFn ?PLACE ?TIME) returns a FunctionQuantity which is the average value of a List of 24 instantaneous of surfaceWindSpeed measurements, each taken at 5 Second intervals, over a 2 Minutes TimeDuration for ?PLACE at ?TIME, standardised to reflect the winds at 10 metres (33 feet) above the Earth's surface.
 UnionFnA BinaryFunction that maps two SetOrClasses to the union of these SetOrClasses. An object is an element of the union of two SetOrClasses just in case it is an instance of either SetOrClass.
 VarianceAverageFnA 'helper' function that supports the definition of VarianceFn. (VarianceAverageFn ?M ?L) means the sum of squared difference between each number and and the mean (?M) in the List ?L.
 ViralPartFn(ViralPartFn ?VIR ?PARTTYPE) denotes the object of type ?PARTTYPE that is part of ?VIR.
 WeekFnA BinaryFunction that assigns a PositiveRealNumber and a subclass of Year to the Week within each Year corresponding to that PositiveRealNumber. For example, (WeekFn 4 (YearFn 1999)) is the singular Class of all fourth Weeks of the Year 1999.
 WhereFnMaps an Object and a TimePoint at which the Object exists to the Region where the Object existed at that TimePoint.


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

Show without tree


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