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
域
每
, 1 and
PhysicalQuantity
(
domain
PerFn
2
PhysicalQuantity
)
Merge.kif 6631-6631
域
每
, 2 and
PhysicalQuantity
(
instance
PerFn
BinaryFunction
)
Merge.kif 6628-6628
例
每
and
BinaryFunction
(
instance
PerFn
TotalValuedRelation
)
Merge.kif 6629-6629
例
每
and
TotalValuedRelation
(
range
PerFn
FunctionQuantity
)
Merge.kif 6633-6633
範圍
每
and
FunctionQuantity
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
子關係
密度
and
每
(
subrelation
SpeedFn
PerFn
)
Merge.kif 6654-6654
子關係
速度
and
每
(
termFormat
ChineseLanguage
PerFn
"每")
domainEnglishFormat.kif 45102-45102
(
termFormat
ChineseTraditionalLanguage
PerFn
"每")
domainEnglishFormat.kif 45101-45101
(
termFormat
EnglishLanguage
PerFn
"per")
domainEnglishFormat.kif 45100-45100
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
等於
測量
RealNumber
and
McgPerKg
and
MassMeasure
是
MassMeasure
的
per
等於
MassMeasure
and
測量
RealNumber
and
微
公克
等於
MassMeasure
and
測量
RealNumber
and
千
公克
Process
SelfConnectedObject
and
SelfConnectedObject
例
Process
and
Ingesting
例
SelfConnectedObject
and
BiologicallyActiveSubstance
例
SelfConnectedObject
and
Organism
患者
Process
and
SelfConnectedObject
agent
Process
and
SelfConnectedObject
MassMeasure
是
SelfConnectedObject
的
weight
MassMeasure
是
SelfConnectedObject
的
weight
(=>
(
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
Physical
由
CognitiveAgent
定的
price
根據
PricingScheme
是
FunctionQuantity
等於
FunctionQuantity
and
測量
RealNumber
and
UnitOfMeasure
是
CurrencyMeasure
的
per
例
UnitOfMeasure
and
UnitOfDuration
立即實例
Entity
and
Physical
例
Process
and
租
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
時間
Process
and
RealNumber
INT
TimeInterval
RealNumber
期間
RealNumber
INT and
TimeInterval
例
TimeInterval
and
TimeInterval
持續時間
TimeInterval
and
測量
RealNumber
and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
FinancialTransaction
例
FinancialTransaction
and
付款
目的地
FinancialTransaction
and
CognitiveAgent
agent
FinancialTransaction
and
AutonomousAgent
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
(=>
(
effectiveDose
?AGENT
(
PerFn
(
MeasureFn
?NUMBER1 ?UNIT1)
(
MeasureFn
?NUMBER2 ?UNIT2)))
(
and
(
instance
?UNIT1
UnitOfMass
)
(
instance
?UNIT2
UnitOfMass
)))
WMD.kif 803-810
測量
RealNumber
and
UnitOfMeasure
是
測量
RealNumber
and
UnitOfMeasure
的
per
是
生化劑
的
effective
劑量
例
UnitOfMeasure
and
UnitOfMass
例
UnitOfMeasure
and
UnitOfMass
(=>
(
lethalDose
?AGENT
(
PerFn
(
MeasureFn
?NUMBER1 ?UNIT1)
(
MeasureFn
?NUMBER2 ?UNIT2)))
(
and
(
instance
?UNIT1
UnitOfMass
)
(
instance
?UNIT2
UnitOfMass
)))
WMD.kif 860-867
測量
RealNumber
and
UnitOfMeasure
是
測量
RealNumber
and
UnitOfMeasure
的
per
是
生化劑
的
lethal
劑量
例
UnitOfMeasure
and
UnitOfMass
例
UnitOfMeasure
and
UnitOfMass
consequent
(=>
(
contractedRentalPrice
?OBJ ?QUANT ?AGREE)
(
exists
(?DURATION ?CURR)
(
and
(
instance
?CURR
CurrencyMeasure
)
(
instance
?DURATION
TimeDuration
)
(
equal
?QUANT
(
PerFn
?CURR ?DURATION)))))
Catalog.kif 505-511
協議
對於
FunctionQuantity
指定
Physical
的
rental
PhysicalQuantity
PhysicalQuantity
例
PhysicalQuantity
and
CurrencyMeasure
例
PhysicalQuantity
and
TimeDuration
等於
FunctionQuantity
and
PhysicalQuantity
是
PhysicalQuantity
的
per
(=>
(
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 1105-1119
例
Physical
and
大雨
持有期間
何時
Physical
and
entity
entity
例
entity
and
Region
Physical
是
located
在
entity
rain
的
rate
在
entity
期間
何時
Physical
是
測量
1 and
小時
是
測量
entity
and
毫米
的
per
比較多
entity
and 10.0
比較多
50.0 and
entity
(=>
(
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 2936-2951
例
Physical
and
Snowstorm
持有期間
何時
Physical
and
entity
entity
and
entity
例
entity
and
下雪
例
entity
and
GeographicArea
entity
是
located
在
entity
子過程
entity
and
Physical
snow
的下降
rate
在
entity
期間
何時
entity
是
測量
1 and
小時
是
測量
entity
and
厘米
的
per
比較多
entity
and 5.0
(=>
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
exists
(?DURATION ?CURR)
(
and
(
instance
?DURATION
TimeDuration
)
(
instance
?CURR
CurrencyMeasure
)
(
equal
?QUANT
(
PerFn
?CURR ?DURATION)))))
Catalog.kif 459-465
Physical
由
CognitiveAgent
定的
price
根據
PricingScheme
是
FunctionQuantity
PhysicalQuantity
PhysicalQuantity
例
PhysicalQuantity
and
TimeDuration
例
PhysicalQuantity
and
CurrencyMeasure
等於
FunctionQuantity
and
PhysicalQuantity
是
PhysicalQuantity
的
per
(=>
(
unitPrice
?ENT ?QUANT ?AGENT ?PS)
(
exists
(?MEAS ?AMT ?UOM)
(
and
(
equal
?QUANT
(
PerFn
?MEAS
(
MeasureFn
?AMT ?UOM)))
(
instance
?MEAS
CurrencyMeasure
))))
Catalog.kif 402-407
unit
price
已收費
CognitiveAgent
在
PricingScheme
底下 對於
FunctionQuantity
是
Entity
PhysicalQuantity
RealNumber
and
UnitOfMeasure
等於
FunctionQuantity
and
測量
RealNumber
and
UnitOfMeasure
是
PhysicalQuantity
的
per
例
PhysicalQuantity
and
CurrencyMeasure
statement
(
effectiveDose
StaphylococcalEnterotoxinB
(
PerFn
(
MeasureFn
0.0004
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1439-1439
測量
1.0 and
千
公克
是
測量
0.0004 and
微
公克
的
per
是
葡萄球菌腸毒素b
的
effective
劑量
(
equal
(
MeasureFn
1.0
SquareMile
)
(
PerFn
(
MeasureFn
1.0
Mile
)
(
MeasureFn
1.0
Mile
)))
Mid-level-ontology.kif 13695-13699
等於
測量
1.0 and
平方英里
and
測量
1.0 and
英里
是
測量
1.0 and
英里
的
per
(
equal
(
MeasureFn
1.0
SquareYard
)
(
PerFn
(
MeasureFn
1.0
YardLength
)
(
MeasureFn
1.0
YardLength
)))
Mid-level-ontology.kif 13705-13709
等於
測量
1.0 and
方碼
and
測量
1.0 and
院子長度
是
測量
1.0 and
院子長度
的
per
(
lethalDose
AbrinToxin
(
PerFn
(
MeasureFn
0.04
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 439-439
測量
1.0 and
千
公克
是
測量
0.04 and
微
公克
的
per
是
abrin毒素
的
lethal
劑量
(
lethalDose
Batrachotoxin
(
PerFn
(
MeasureFn
2.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 310-310
測量
1.0 and
千
公克
是
測量
2.0 and
微
公克
的
per
是
batrachotoxin
的
lethal
劑量
(
lethalDose
BotulinumToxin
(
PerFn
(
MeasureFn
0.001
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 325-325
測量
1.0 and
千
公克
是
測量
0.001 and
微
公克
的
per
是
肉毒桿菌毒素
的
lethal
劑量
(
lethalDose
Diacetoxyscirpenol
(
PerFn
(
MeasureFn
23.0
(
MilliFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1840-1840
測量
1.0 and
千
公克
是
測量
23.0 and
毫
公克
的
per
是
二乙酯scirpenol
的
lethal
劑量
(
lethalDose
RicinToxin
(
PerFn
(
MeasureFn
3.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 431-431
測量
1.0 and
千
公克
是
測量
3.0 and
微
公克
的
per
是
蓖麻毒素
的
lethal
劑量
(
lethalDose
Sarin
(
PerFn
(
MeasureFn
100.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 586-586
測量
1.0 and
千
公克
是
測量
100.0 and
微
公克
的
per
是
沙林
的
lethal
劑量
(
lethalDose
ShigaToxin
(
PerFn
(
MeasureFn
0.002
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1339-1339
測量
1.0 and
千
公克
是
測量
0.002 and
微
公克
的
per
是
志賀毒素
的
lethal
劑量
(
lethalDose
Soman
(
PerFn
(
MeasureFn
64.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 582-582
測量
1.0 and
千
公克
是
測量
64.0 and
微
公克
的
per
是
梭曼
的
lethal
劑量
(
lethalDose
StaphylococcalEnterotoxinB
(
PerFn
(
MeasureFn
0.02
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1440-1440
測量
1.0 and
千
公克
是
測量
0.02 and
微
公克
的
per
是
葡萄球菌腸毒素b
的
lethal
劑量
(
lethalDose
T2Toxin
(
PerFn
(
MeasureFn
5.2
(
MilliFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1845-1845
測量
1.0 and
千
公克
是
測量
5.2 and
毫
公克
的
per
是
t2毒素
的
lethal
劑量
(
lethalDose
VX
(
PerFn
(
MeasureFn
15.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 599-599
測量
1.0 and
千
公克
是
測量
15.0 and
微
公克
的
per
是
VX
的
lethal
劑量
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