PerFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - PerFn

PerFn

appearance as argument number 1

s__documentation(s__PerFn__m,s__ChineseLanguage,'"PerFn 把两个 PhysicalQuantity 的实例联系到由这两个实例所组成的 FunctionQuantity。例如：(PerFn (MeasureFn 2 (MicroFn Gram)) (MeasureFn 1 (KiloFn Gram)))表示2微克/ 千克的 FunctionQuantity。这个函数很有用因为它允许知识工程师随时编制新的 FunctionQuantity 实例。"')	chinese_format.kif 2476-2479
s__documentation(s__PerFn__m,s__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 6425-6430
s__domain(s__PerFn__m,n__1,s__PhysicalQuantity)	Merge.kif 6420-6420	The number 1 argument of per is an instance of physical quantity
s__domain(s__PerFn__m,n__2,s__PhysicalQuantity)	Merge.kif 6421-6421	The number 2 argument of per is an instance of physical quantity
s__instance(s__BinaryFunction,s__Class) s__instance(s__PerFn__m,s__BinaryFunction)	Merge.kif 6418-6418	Per is an instance of binary function
s__instance(s__TotalValuedRelation,s__Class) s__instance(s__PerFn__m,s__TotalValuedRelation)	Merge.kif 6419-6419	Per is an instance of total valued relation
s__range(s__PerFn__m,s__FunctionQuantity)	Merge.kif 6423-6423	The range of per is an instance of function quantity

appearance as argument number 2

s__format(s__ChineseLanguage,s__PerFn__m,'"%2 %n 是 %1 的 per "')	domainEnglishFormat.kif 1935-1935
s__format(s__ChineseTraditionalLanguage,s__PerFn__m,'"%2 %n 是 %1 的 per "')	domainEnglishFormat.kif 1934-1934
s__format(s__EnglishLanguage,s__PerFn__m,'"the per of %1 and %2"')	domainEnglishFormat.kif 1933-1933
s__subrelation(s__DensityFn__m,s__PerFn__m)	Merge.kif 6432-6432	Density is a subrelation of per
s__subrelation(s__SpeedFn__m,s__PerFn__m)	Merge.kif 6444-6444	Speed is a subrelation of per
s__termFormat(s__ChineseLanguage,s__PerFn__m,'"每"')	domainEnglishFormat.kif 45085-45085
s__termFormat(s__ChineseTraditionalLanguage,s__PerFn__m,'"每"')	domainEnglishFormat.kif 45084-45084
s__termFormat(s__EnglishLanguage,s__PerFn__m,'"per"')	domainEnglishFormat.kif 45083-45083

antecedent

( ! [V__M1,V__M2,V__NUM1,V__NUM2,V__Y] : (((s__instance(V__M1,s__MassMeasure) & s__instance(V__M2,s__MassMeasure) & s__instance(V__NUM1,s__RealNumber) & s__instance(V__NUM2,s__RealNumber) & s__instance(V__Y,s__RealNumber)) => ((((s__MeasureFn(V__Y,s__McgPerKg) = s__PerFn(V__M1,V__M2)) & (V__M1 = s__MeasureFn(V__NUM1,s__MicroFn(s__Gram))) & (V__M2 = s__MeasureFn(V__NUM2,s__KiloFn(s__Gram)))) => (( ? [V__I, V__B, V__A] : ((s__instance(V__I,s__Ingesting) & s__instance(V__B,s__BiologicallyActiveSubstance) & s__instance(V__A,s__Organism) & s__patient(V__I,V__B) & s__agent(V__I,V__A) & s__weight(V__B,V__M1) & s__weight(V__A,V__M2)))))))) ) )	WMD.kif 818-835	If a real number micrograms per kilogram(s) is equal to the per of a mass measure and another mass measure and the mass measure is equal to another real number one millionth of a gram(s) and the other mass measure is equal to a third real number 1 thousand grams(s), then there exist a process, a self connected object and another self connected object such that the process is an instance of ingesting and the self connected object is an instance of biologically active substance and the other self connected object is an instance of organism and the self connected object is a patient of the process and the other self connected object is an agent of the process and the mass measure is a weight of the self connected object and the other mass measure is a weight of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 458-483	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 the measure of a quantity is an unit of measure and the unit of measure is an instance of UnitOfDuration 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 quantityINT, then for all another time interval if the 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 real number the unit of measure(s) and the real number is less than or equal to the 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
( ! [V__AGENT,V__NUMBER1,V__NUMBER2,V__UNIT2,V__UNIT1] : (((s__subclass(V__AGENT,s__BiochemicalAgent) & s__instance(V__NUMBER1,s__RealNumber) & s__instance(V__NUMBER2,s__RealNumber) & s__instance(V__UNIT2,s__UnitOfMeasure) & s__instance(V__UNIT1,s__UnitOfMeasure)) => ((s__effectiveDose(V__AGENT,s__PerFn(s__MeasureFn(V__NUMBER1,V__UNIT1) ,s__MeasureFn(V__NUMBER2,V__UNIT2))) => ((s__instance(V__UNIT1,s__UnitOfMass) & s__instance(V__UNIT2,s__UnitOfMass)))))) ) )	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 UnitOfMass and the other unit of measure is an instance of UnitOfMass
( ! [V__AGENT,V__NUMBER1,V__NUMBER2,V__UNIT2,V__UNIT1] : (((s__subclass(V__AGENT,s__BiochemicalAgent) & s__instance(V__NUMBER1,s__RealNumber) & s__instance(V__NUMBER2,s__RealNumber) & s__instance(V__UNIT2,s__UnitOfMeasure) & s__instance(V__UNIT1,s__UnitOfMeasure)) => ((s__lethalDose(V__AGENT,s__PerFn(s__MeasureFn(V__NUMBER1,V__UNIT1) ,s__MeasureFn(V__NUMBER2,V__UNIT2))) => ((s__instance(V__UNIT1,s__UnitOfMass) & s__instance(V__UNIT2,s__UnitOfMass)))))) ) )	WMD.kif 855-862	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 UnitOfMass and the other unit of measure is an instance of UnitOfMass

consequent

( ! [V__OBJ,V__QUANT,V__AGREE] : (((s__subclass(V__OBJ,s__Physical) & s__instance(V__QUANT,s__FunctionQuantity) & s__instance(V__AGREE,s__Agreement)) => ((s__contractedRentalPrice(V__OBJ,V__QUANT,V__AGREE) => (( ? [V__DURATION, V__CURR] : ((s__instance(V__CURR,s__CurrencyMeasure) & s__instance(V__DURATION,s__TimeDuration) & (V__QUANT = s__PerFn(V__CURR,V__DURATION))))))))) ) )	Catalog.kif 496-502	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1109-1123	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2933-2948	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
( ! [V__AGENT,V__PS,V__OBJ,V__QUANT] : (((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__PS,s__PricingScheme) & s__subclass(V__OBJ,s__Physical) & s__instance(V__QUANT,s__FunctionQuantity)) => ((s__rentalPrice(V__OBJ,V__QUANT,V__AGENT,V__PS) => (( ? [V__DURATION, V__CURR] : ((s__instance(V__DURATION,s__TimeDuration) & s__instance(V__CURR,s__CurrencyMeasure) & (V__QUANT = s__PerFn(V__CURR,V__DURATION))))))))) ) )	Catalog.kif 450-456	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
( ! [V__AGENT,V__ENT,V__PS,V__QUANT] : (((s__instance(V__AGENT,s__CognitiveAgent) & s__subclass(V__ENT,s__Entity) & s__instance(V__PS,s__PricingScheme) & s__instance(V__QUANT,s__FunctionQuantity)) => ((s__unitPrice(V__ENT,V__QUANT,V__AGENT,V__PS) => (( ? [V__MEAS, V__AMT, V__UOM] : ((s__instance(V__AMT,s__RealNumber) & s__instance(V__UOM,s__UnitOfMeasure) & ((V__QUANT = s__PerFn(V__MEAS,s__MeasureFn(V__AMT,V__UOM))) & s__instance(V__MEAS,s__CurrencyMeasure))))))))) ) )	Catalog.kif 393-398	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

s__effectiveDose(s__StaphylococcalEnterotoxinB,s__PerFn(s__MeasureFn(n__0_0004,s__MicroFn(s__Gram)) ,s__MeasureFn(n__1,s__KiloFn(s__Gram))))	WMD.kif 1409-1409	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
(s__MeasureFn(n__1,s__SquareMile) = s__PerFn(s__MeasureFn(n__1,s__Mile),s__MeasureFn(n__1,s__Mile)))	Mid-level-ontology.kif 12888-12892	1 Square mile(s) is equal to the per of 1 mile(s) and 1 mile(s)
(s__MeasureFn(n__1,s__SquareYard) = s__PerFn(s__MeasureFn(n__1,s__YardLength),s__MeasureFn(n__1,s__YardLength)))	Mid-level-ontology.kif 12898-12902	1 Square yard(s) is equal to the per of 1 yard length(s) and 1 yard length(s)
s__lethalDose(s__AbrinToxin,s__PerFn(s__MeasureFn(n__0_04,s__MicroFn(s__Gram)) ,s__MeasureFn(n__1,s__KiloFn(s__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
s__lethalDose(s__Batrachotoxin,s__PerFn(s__MeasureFn(n__2_0,s__MicroFn(s__Gram)) ,s__MeasureFn(n__1_0,s__KiloFn(s__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
s__lethalDose(s__BotulinumToxin,s__PerFn(s__MeasureFn(n__0_001,s__MicroFn(s__Gram)) ,s__MeasureFn(n__1,s__KiloFn(s__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
s__lethalDose(s__Diacetoxyscirpenol,s__PerFn(s__MeasureFn(n__23,s__MilliFn(s__Gram)) ,s__MeasureFn(n__1,s__KiloFn(s__Gram))))	WMD.kif 1779-1779	The per of 23 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol
s__lethalDose(s__RicinToxin,s__PerFn(s__MeasureFn(n__3_0,s__MicroFn(s__Gram)) ,s__MeasureFn(n__1,s__KiloFn(s__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
s__lethalDose(s__Sarin,s__PerFn(s__MeasureFn(n__100_0,s__MicroFn(s__Gram)) ,s__MeasureFn(n__1,s__KiloFn(s__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
s__lethalDose(s__ShigaToxin,s__PerFn(s__MeasureFn(n__0_002,s__MicroFn(s__Gram)) ,s__MeasureFn(n__1,s__KiloFn(s__Gram))))	WMD.kif 1324-1324	The per of 0.002 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of shiga toxin
s__lethalDose(s__Soman,s__PerFn(s__MeasureFn(n__64_0,s__MicroFn(s__Gram)) ,s__MeasureFn(n__1_0,s__KiloFn(s__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
s__lethalDose(s__StaphylococcalEnterotoxinB,s__PerFn(s__MeasureFn(n__0_02,s__MicroFn(s__Gram)) ,s__MeasureFn(n__1,s__KiloFn(s__Gram))))	WMD.kif 1410-1410	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
s__lethalDose(s__T2Toxin,s__PerFn(s__MeasureFn(n__5_2,s__MilliFn(s__Gram)) ,s__MeasureFn(n__1,s__KiloFn(s__Gram))))	WMD.kif 1784-1784	The per of 5.2 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of t2 toxin
s__lethalDose(s__VX,s__PerFn(s__MeasureFn(n__15_0,s__MicroFn(s__Gram)) ,s__MeasureFn(n__1_0,s__KiloFn(s__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 3.0 is open source software produced by Articulate Software and its partners