Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
PerFn
Sigma KEE - PerFn
PerFn
appearance as argument number 1
(
documentation
PerFn
ChineseLanguage
"
PerFn
把两个
PhysicalQuantity
的实例联系到由这两个实例 所组成的
FunctionQuantity
。例如:(
PerFn
(
MeasureFn
2 (
MicroFn
Gram
)) (
MeasureFn
1 (
KiloFn
Gram
)))表示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 6539-6544
(
domain
PerFn
1
PhysicalQuantity
)
Merge.kif 6534-6534
The number 1 argument of
per
is an
instance
of
physical quantity
(
domain
PerFn
2
PhysicalQuantity
)
Merge.kif 6535-6535
The number 2 argument of
per
is an
instance
of
physical quantity
(
instance
PerFn
BinaryFunction
)
Merge.kif 6532-6532
Per
is an
instance
of
binary function
(
instance
PerFn
TotalValuedRelation
)
Merge.kif 6533-6533
Per
is an
instance
of
total valued relation
(
range
PerFn
FunctionQuantity
)
Merge.kif 6537-6537
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 6546-6546
Density
is a
subrelation
of
per
(
subrelation
SpeedFn
PerFn
)
Merge.kif 6558-6558
Speed
is a
subrelation
of
per
(
termFormat
ChineseLanguage
PerFn
"每")
domainEnglishFormat.kif 45085-45085
(
termFormat
ChineseTraditionalLanguage
PerFn
"每")
domainEnglishFormat.kif 45084-45084
(
termFormat
EnglishLanguage
PerFn
"per")
domainEnglishFormat.kif 45083-45083
antecedent
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
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
gram
s(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
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
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
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 462-487
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 real number
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
possess
es
the cognitive agent
and
an agent
is an
agent
of
the process
and
the process
exists
during
the real number
INT,
then for all
another time interval
if
the real number
INT 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
another real number
the unit of measure
(s) and
the other real number
is
less
than or equal to
the real number
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
payment
and
the financial transaction
end
s 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
UnitOfMass
)
(
instance
?UNIT2
UnitOfMass
)))
WMD.kif 803-810
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
(=>
(
lethalDose
?AGENT
(
PerFn
(
MeasureFn
?NUMBER1 ?UNIT1)
(
MeasureFn
?NUMBER2 ?UNIT2)))
(
and
(
instance
?UNIT1
UnitOfMass
)
(
instance
?UNIT2
UnitOfMass
)))
WMD.kif 860-867
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
(=>
(
contractedRentalPrice
?OBJ ?QUANT ?AGREE)
(
exists
(?DURATION ?CURR)
(
and
(
instance
?CURR
CurrencyMeasure
)
(
instance
?DURATION
TimeDuration
)
(
equal
?QUANT
(
PerFn
?CURR ?DURATION)))))
Catalog.kif 500-506
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.0)
(
greaterThan
50.0 ?NUM)))))
Weather.kif 1108-1122
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.0 and 50.0 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.0)))))
Weather.kif 2939-2954
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.0 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 454-460
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 397-402
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.0
(
KiloFn
Gram
))))
WMD.kif 1430-1430
The
per
of 0.0004 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is an
effective
dose of
staphylococcal enterotoxin b
(
equal
(
MeasureFn
1.0
SquareMile
)
(
PerFn
(
MeasureFn
1.0
Mile
)
(
MeasureFn
1.0
Mile
)))
Mid-level-ontology.kif 13162-13166
1.0
Square mile
(s) is
equal
to the
per
of 1.0
mile
(s) and 1.0
mile
(s)
(
equal
(
MeasureFn
1.0
SquareYard
)
(
PerFn
(
MeasureFn
1.0
YardLength
)
(
MeasureFn
1.0
YardLength
)))
Mid-level-ontology.kif 13172-13176
1.0
Square yard
(s) is
equal
to the
per
of 1.0
yard length
(s) and 1.0
yard length
(s)
(
lethalDose
AbrinToxin
(
PerFn
(
MeasureFn
0.04
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 439-439
The
per
of 0.04 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(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
gram
s(s) is a
lethal
dose of
batrachotoxin
(
lethalDose
BotulinumToxin
(
PerFn
(
MeasureFn
0.001
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 325-325
The
per
of 0.001 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
botulinum toxin
(
lethalDose
Diacetoxyscirpenol
(
PerFn
(
MeasureFn
23.0
(
MilliFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1831-1831
The
per
of 23.0 one
thousandth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
diacetoxyscirpenol
(
lethalDose
RicinToxin
(
PerFn
(
MeasureFn
3.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 431-431
The
per
of 3.0 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
ricin toxin
(
lethalDose
Sarin
(
PerFn
(
MeasureFn
100.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 586-586
The
per
of 100.0 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
sarin
(
lethalDose
ShigaToxin
(
PerFn
(
MeasureFn
0.002
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1330-1330
The
per
of 0.002 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
shiga toxin
(
lethalDose
Soman
(
PerFn
(
MeasureFn
64.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 582-582
The
per
of 64.0 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
soman
(
lethalDose
StaphylococcalEnterotoxinB
(
PerFn
(
MeasureFn
0.02
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1431-1431
The
per
of 0.02 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
staphylococcal enterotoxin b
(
lethalDose
T2Toxin
(
PerFn
(
MeasureFn
5.2
(
MilliFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1836-1836
The
per
of 5.2 one
thousandth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
t2 toxin
(
lethalDose
VX
(
PerFn
(
MeasureFn
15.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 599-599
The
per
of 15.0 one
millionth
of a
gram
(s) and 1.0 1
thousand
gram
s(s) is a
lethal
dose of
VX
Show simplified definition (without tree view)
Show simplified 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