Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
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 6635-6640
(
documentation
PerFn
JapaneseLanguage
"
PerFn
は、
PhysicalQuantity
の2つのインスタンスを これら2つのインスタンスで構成される
FunctionQuantity
にマップする。 例:(
PerFn
(
MeasureFn
2 (
MicroFn
Gram
)) (
MeasureFn
1 (
KiloFn
Gram
))) は、キログラム当たり2 マイクログラムの
FunctionQuantity
を示す。この関数は、ナレッジ エンジニアが
FunctionQuantity
のインスタンスを動的に生成できるため便利である。")
japanese_format.kif 1169-1173
(
domain
PerFn
1
PhysicalQuantity
)
Merge.kif 6630-6630
The number 1 argument of
per
is an
instance
of
physical quantity
(
domain
PerFn
2
PhysicalQuantity
)
Merge.kif 6631-6631
The number 2 argument of
per
is an
instance
of
physical quantity
(
instance
PerFn
BinaryFunction
)
Merge.kif 6628-6628
Per
is an
instance
of
binary function
(
instance
PerFn
TotalValuedRelation
)
Merge.kif 6629-6629
Per
is an
instance
of
total valued relation
(
range
PerFn
FunctionQuantity
)
Merge.kif 6633-6633
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 6642-6642
Density
is a
subrelation
of
per
(
subrelation
SpeedFn
PerFn
)
Merge.kif 6654-6654
Speed
is a
subrelation
of
per
(
termFormat
ChineseLanguage
PerFn
"每")
domainEnglishFormat.kif 45114-45114
(
termFormat
ChineseTraditionalLanguage
PerFn
"每")
domainEnglishFormat.kif 45113-45113
(
termFormat
EnglishLanguage
PerFn
"per")
domainEnglishFormat.kif 45112-45112
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)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
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 467-492
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
unit of duration
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
an agent
is an
agent
of
the process
and
the process
exists
during
the real number
INT,
then for all
another time interval
if there exists
another real number
such that
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
the other 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
unit of mass
and
the other unit of measure
is an
instance
of
unit of mass
(=>
(
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
unit of mass
and
the other unit of measure
is an
instance
of
unit of mass
consequent
(=>
(
contractedRentalPrice
?OBJ ?QUANT ?AGREE)
(
exists
(?DURATION ?CURR)
(
and
(
instance
?CURR
CurrencyMeasure
)
(
instance
?DURATION
TimeDuration
)
(
equal
?QUANT
(
PerFn
?CURR ?DURATION)))))
Catalog.kif 505-511
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 ?NUM)
(
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 1109-1123
If
a physical
is an
instance
of
heavy raining
,
then there exist
an entity
and
another entity
such that
the entity
is an
instance
of
region
and
the physical
is
located
at
the entity
and the
rate
of
rain
in
the entity
during the
time
of existence of
the physical
is the
per
of
the other 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 2940-2955
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
the other entity
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 459-465
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 402-407
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 1439-1439
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 13668-13672
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 13678-13682
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 1840-1840
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 1339-1339
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 1440-1440
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 1845-1845
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