  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

Sigma KEE - PerFn
 PerFn

 appearance as argument number 1 (documentation PerFn ChineseLanguage "PerFn 把两个 PhysicalQuantity 的实例联系到由这两个实例 所组成的 FunctionQuantity。例如：(PerFn (MeasureFn 2 (MicroFn Gram)) (MeasureFn 1 (KiloFnGram)))表示2微克/ 千克的 FunctionQuantity。这个函数很有用因为它允许知识工程师随时编制新的 FunctionQuantity 实例。") chinese_format.kif 2476-2479 (documentation PerFn EnglishLanguage "PerFn 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.") Merge.kif 6315-6320 (domain PerFn 1 PhysicalQuantity) Merge.kif 6310-6310 The number 1 argument of per is an instance of physical quantity (domain PerFn 2 PhysicalQuantity) Merge.kif 6311-6311 The number 2 argument of per is an instance of physical quantity (instance PerFn BinaryFunction) Merge.kif 6308-6308 Per is an instance of binary function (instance PerFn TotalValuedRelation) Merge.kif 6309-6309 Per is an instance of total valued relation (range PerFn FunctionQuantity) Merge.kif 6313-6313 The range of per is an instance of function quantity

 appearance as argument number 2 (format ChineseLanguage PerFn "%2 %n 是 %1 的 per ") domainEnglishFormat.kif 1935-1935 (format ChineseTraditionalLanguage PerFn "%2 %n 是 %1 的 per ") domainEnglishFormat.kif 1934-1934 (format EnglishLanguage PerFn "the per of %1 and %2") domainEnglishFormat.kif 1933-1933 (subrelation DensityFn PerFn) Merge.kif 6322-6322 Density is a subrelation of per (subrelation SpeedFn PerFn) Merge.kif 6334-6334 Speed is a subrelation of per (termFormat ChineseLanguage PerFn "每") domainEnglishFormat.kif 45001-45001 (termFormat ChineseTraditionalLanguage PerFn "每") domainEnglishFormat.kif 45000-45000 (termFormat EnglishLanguage PerFn "per") domainEnglishFormat.kif 44999-44999

 antecedent (=>     (and         (governorSpeed ?V ?Q)         (equal ?FASTPROB             (ProbabilityFn                 (measure ?V                     (PerFn ?L1 ?T1))))         (equal ?SLOWPROB             (ProbabilityFn                 (measure ?V                     (PerFn ?L2 ?T2))))         (greaterThan             (PerFn ?L1 ?T1)             (PerFn ?L2 ?T2)))     (greaterThan ?SLOWPROB ?FASTPROB)) Cars.kif 2869-2883 If the maximum speed allowed by a governor is a function quantity and a real number is equal to the probability of the measure of the governor is the per of a physical quantity and another physical quantity and another real number is equal to the probability of the measure of the governor is the per of a third physical quantity and a fourth physical quantity and the per of the physical quantity and the other physical quantity is greater than the per of the third physical quantity and the fourth physical quantity,then the other real number is greater than the real number (=>     (and         (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)         (equal ?QUANT             (PerFn ?PRICE ?TIME))         (immediateInstance ?ITEM ?OBJ)         (instance ?R Renting)         (patient ?R ?ITEM)         (possesses ?OBJ ?AGENT)         (agent ?R ?CUSTOMER)         (time ?R ?TIMEINT))     (forall (?X)         (=>             (and                 (during ?TIMEINT ?X)                 (instance ?X TimeInterval)                 (duration ?X ?DURATION)                 (lessThanOrEqualTo ?DURATION ?TIME))             (exists (?P)                 (and                     (instance ?P Payment)                     (destination ?P ?AGENT)                     (agent ?P ?CUSTOMER)                     (transactionAmount ?P ?PRICE)))))) Catalog.kif 450-472 If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity and the function quantity is equal to the per of a currency measure and a physical quantity and an entity is an immediate instance of a kind of physical and a process is an instance of renting and the entity is a patient of the process and the kind of physical possesses the cognitive agent and an agent is an agent of the process and the process exists during the physical quantityINT,then for all another time interval if the physical quantityINT takes place during the other time interval and the other time interval is an instance of time interval and duration of the other time interval is a time duration and the time duration is less than or equal to the physical quantity,then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the cognitive agent and the agent is an agent of the financial transaction and the currency measure is a transaction amount of the financial transaction (=>     (effectiveDose ?AGENT         (PerFn             (MeasureFn ?NUMBER1 ?UNIT1)             (MeasureFn ?NUMBER2 ?UNIT2)))     (and         (instance ?UNIT1 MassMeasure)         (instance ?UNIT2 MassMeasure))) WMD.kif 798-805 If the per of a real number an unit of measure(s) and another real number another unit of measure(s) is an effective dose of a kind of biochemical agent,then the unit of measure is an instance of mass measure and the other unit of measure is an instance of mass measure (=>     (lethalDose ?AGENT         (PerFn             (MeasureFn ?NUMBER1 ?UNIT1)             (MeasureFn ?NUMBER2 ?UNIT2)))     (and         (instance ?UNIT1 MassMeasure)         (instance ?UNIT2 MassMeasure))) WMD.kif 822-829 If the per of a real number an unit of measure(s) and another real number another unit of measure(s) is a lethal dose of a kind of biochemical agent,then the unit of measure is an instance of mass measure and the other unit of measure is an instance of mass measure

 consequent (=>     (contractedRentalPrice ?OBJ ?QUANT ?AGREE)     (exists (?DURATION ?CURR)         (and             (instance ?CURR CurrencyMeasure)             (instance ?DURATION TimeDuration)             (equal ?QUANT                 (PerFn ?CURR ?DURATION))))) Catalog.kif 485-491 If an agreement specifies the rental of a kind of physical for a function quantity,then there exist a physical quantity and another physical quantity such that the other physical quantity is an instance of currency measure and the physical quantity is an instance of time duration and the function quantity is equal to the per of the other physical quantity and the physical quantity (=>     (instance ?HR HeavyRaining)     (holdsDuring         (WhenFn ?HR)         (exists (?AREA)             (and                 (instance ?AREA Region)                 (eventLocated ?HR ?AREA)                 (rainfallIntensity ?AREA                     (WhenFn ?HR)                     (PerFn                         (MeasureFn ?NUM Millimeter)                         (MeasureFn 1 HourDuration)))                 (greaterThan ?NUM 10)                 (greaterThan 50 ?NUM))))) Weather.kif 720-734 If a physical is an instance of heavy raining,then there exists an entity such that the entity is an instance of region and the physical is located at 2 and the rate of rain in the entity during the time of existence of the physical is the per of another entity millimeter(s) and 1 hour duration(s) and the other entity is greater than 10 and 50 is greater than the other entity holds during the time of existence of the physical (=>     (instance ?SNOWSTORM Snowstorm)     (holdsDuring         (WhenFn ?SNOWSTORM)         (exists (?SNOW ?AREA ?NUM)             (and                 (instance ?SNOW Snowing)                 (instance ?AREA GeographicArea)                 (eventLocated ?SNOW ?AREA)                 (subProcess ?SNOW ?SNOWSTORM)                 (snowfallIntensity ?AREA                     (WhenFn ?SNOW)                     (PerFn                         (MeasureFn ?NUM Centimeter)                         (MeasureFn 1 HourDuration)))                 (greaterThan ?NUM 5))))) Weather.kif 1471-1486 If a physical is an instance of snow storm,then there exist an entity, another entity and a third entity such that the entity is an instance of snowing and the other entity is an instance of geographic area and the entity is located at 2 and the entity is a subprocess of the physical and the rate of snow falling at the other entity during the time of existence of the entity is the per of the third entity centimeter(s) and 1 hour duration(s) and the third entity is greater than 5 holds during the time of existence of the physical (=>     (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)     (exists (?DURATION ?CURR)         (and             (instance ?DURATION TimeDuration)             (instance ?CURR CurrencyMeasure)             (equal ?QUANT                 (PerFn ?CURR ?DURATION))))) Catalog.kif 442-448 If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity,then there exist a physical quantity and another physical quantity such that the physical quantity is an instance of time duration and the other physical quantity is an instance of currency measure and the function quantity is equal to the per of the other physical quantity and the physical quantity (=>     (unitPrice ?ENT ?QUANT ?AGENT ?PS)     (exists (?MEAS ?AMT ?UOM)         (and             (equal ?QUANT                 (PerFn ?MEAS                     (MeasureFn ?AMT ?UOM)))             (instance ?MEAS CurrencyMeasure)))) Catalog.kif 387-392 If the unit price charged a cognitive agent under a pricing scheme for a function quantity is a kind of entity,then there exist a physical quantity, a real number and an unit of measure such that the function quantity is equal to the per of the physical quantity and the real number the unit of measure(s) and the physical quantity is an instance of currency measure

 statement (effectiveDose StaphylococcalEnterotoxinB     (PerFn         (MeasureFn 0.0004             (MicroFn Gram))         (MeasureFn 1             (KiloFn Gram)))) WMD.kif 1342-1342 The per of 0.0004 one millionth of a gram(s) and 1 1 thousand grams(s) is an effective dose of staphylococcal enterotoxin b (equal     (MeasureFn 1 SquareMile)     (PerFn         (MeasureFn 1 Mile)         (MeasureFn 1 Mile))) Mid-level-ontology.kif 11337-11341 1 Square mile(s) is equal to the per of 1 mile(s) and 1 mile(s) (equal     (MeasureFn 1 SquareYard)     (PerFn         (MeasureFn 1 YardLength)         (MeasureFn 1 YardLength))) Mid-level-ontology.kif 11347-11351 1 Square yard(s) is equal to the per of 1 yard length(s) and 1 yard length(s) (lethalDose AbrinToxin     (PerFn         (MeasureFn 0.04             (MicroFn Gram))         (MeasureFn 1             (KiloFn Gram)))) WMD.kif 434-434 The per of 0.04 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of abrin toxin (lethalDose Batrachotoxin     (PerFn         (MeasureFn 2.0             (MicroFn Gram))         (MeasureFn 1.0             (KiloFn Gram)))) WMD.kif 310-310 The per of 2.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of batrachotoxin (lethalDose BotulinumToxin     (PerFn         (MeasureFn 0.001             (MicroFn Gram))         (MeasureFn 1             (KiloFn Gram)))) WMD.kif 325-325 The per of 0.001 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of botulinum toxin (lethalDose Diacetoxyscirpenol     (PerFn         (MeasureFn 23             (MilliFn Gram))         (MeasureFn 1             (KiloFn Gram)))) WMD.kif 1706-1706 The per of 23 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol (lethalDose RicinToxin     (PerFn         (MeasureFn 3.0             (MicroFn Gram))         (MeasureFn 1             (KiloFn Gram)))) WMD.kif 426-426 The per of 3.0 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of ricin toxin (lethalDose Sarin     (PerFn         (MeasureFn 100.0             (MicroFn Gram))         (MeasureFn 1             (KiloFn Gram)))) WMD.kif 581-581 The per of 100.0 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of sarin (lethalDose ShigaToxin     (PerFn         (MeasureFn 0.002             (MicroFn Gram))         (MeasureFn 1             (KiloFn Gram)))) WMD.kif 1257-1257 The per of 0.002 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of shiga toxin (lethalDose Soman     (PerFn         (MeasureFn 64.0             (MicroFn Gram))         (MeasureFn 1.0             (KiloFn Gram)))) WMD.kif 577-577 The per of 64.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of soman (lethalDose StaphylococcalEnterotoxinB     (PerFn         (MeasureFn 0.02             (MicroFn Gram))         (MeasureFn 1             (KiloFn Gram)))) WMD.kif 1343-1343 The per of 0.02 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of staphylococcal enterotoxin b (lethalDose T2Toxin     (PerFn         (MeasureFn 5.2             (MilliFn Gram))         (MeasureFn 1             (KiloFn Gram)))) WMD.kif 1711-1711 The per of 5.2 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of t2 toxin (lethalDose VX     (PerFn         (MeasureFn 15.0             (MicroFn Gram))         (MeasureFn 1.0             (KiloFn Gram)))) WMD.kif 594-594 The per of 15.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of VX Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view) Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners