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
PerFn
の数値 1 引数は
物理量
の
instance
では %n
(
domain
PerFn
2
PhysicalQuantity
)
Merge.kif 6631-6631
PerFn
の数値 2 引数は
物理量
の
instance
では %n
(
instance
PerFn
BinaryFunction
)
Merge.kif 6628-6628
PerFn
は
2変数関数
の
instance
では %n
(
instance
PerFn
TotalValuedRelation
)
Merge.kif 6629-6629
PerFn
は
合計値関係
の
instance
では %n
(
range
PerFn
FunctionQuantity
)
Merge.kif 6633-6633
PerFn
の
range
は
関数量
のインスタンス では %n
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
DensityFn
は
PerFn
の
subrelation
では %n
(
subrelation
SpeedFn
PerFn
)
Merge.kif 6654-6654
SpeedFn
は
PerFn
の
subrelation
では %n
(
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
実数
の
McgPerKg
(s) は
PerFn
質量測定
and
質量測定
と
equal
では %n
質量測定
は
実数
の 1 の
millionth
Gram
(s) と
equal
では %n
質量測定
は
実数
の 1 の
thousand
Gram
s(s) と
equal
では %n
工程
自己接続オブジェクト
and
自己接続オブジェクト
工程
は
摂取
の
instance
では %n
自己接続オブジェクト
は
生物活性物質
の
instance
では %n
自己接続オブジェクト
は
物
の
instance
では %n
自己接続オブジェクト
は
工程
の
patient
では %n
自己接続オブジェクト
は
工程
の
agent
では %n
weight
自己接続オブジェクト
and
質量測定
weight
自己接続オブジェクト
and
質量測定
(=>
(
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
rentalPrice
物理
,
関数量
,
認識エージェント
and
PricingScheme
関数量
は
PerFn
通貨測定
and
実数
の
measure
は
測定単位
では %n と
equal
では %n
測定単位
は
UnitOfDuration
の
instance
では %n
エンティティー
は
物理
の
immediate
の インスタンス では %n
工程
は
Renting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
実数
INT の
during
exists %n{ない}
時間間隔
実数
実数
INT は
時間間隔
の
during
に takes %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
duration
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
less
または同等 では %n
金融取引
金融取引
は
Payment
の
instance
では %n
金融取引
は
認識エージェント
に
end
s %n{ない}
AutonomousAgent
は
金融取引
の
agent
では %n
transactionAmount
金融取引
and
通貨測定
(=>
(
effectiveDose
?AGENT
(
PerFn
(
MeasureFn
?NUMBER1 ?UNIT1)
(
MeasureFn
?NUMBER2 ?UNIT2)))
(
and
(
instance
?UNIT1
UnitOfMass
)
(
instance
?UNIT2
UnitOfMass
)))
WMD.kif 803-810
effectiveDose
BiochemicalAgent
and
PerFn
実数
の
測定単位
(s) and
実数
の
測定単位
(s)
測定単位
は
UnitOfMass
の
instance
では %n
測定単位
は
UnitOfMass
の
instance
では %n
(=>
(
lethalDose
?AGENT
(
PerFn
(
MeasureFn
?NUMBER1 ?UNIT1)
(
MeasureFn
?NUMBER2 ?UNIT2)))
(
and
(
instance
?UNIT1
UnitOfMass
)
(
instance
?UNIT2
UnitOfMass
)))
WMD.kif 860-867
lethalDose
BiochemicalAgent
and
PerFn
実数
の
測定単位
(s) and
実数
の
測定単位
(s)
測定単位
は
UnitOfMass
の
instance
では %n
測定単位
は
UnitOfMass
の
instance
では %n
consequent
(=>
(
contractedRentalPrice
?OBJ ?QUANT ?AGREE)
(
exists
(?DURATION ?CURR)
(
and
(
instance
?CURR
CurrencyMeasure
)
(
instance
?DURATION
TimeDuration
)
(
equal
?QUANT
(
PerFn
?CURR ?DURATION)))))
Catalog.kif 505-511
contractedRentalPrice
物理
,
関数量
and
Agreement
物理量
物理量
物理量
は
通貨測定
の
instance
では %n
物理量
は
時間分
の
instance
では %n
関数量
は
PerFn
物理量
and
物理量
と
equal
では %n
(=>
(
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
物理
は
HeavyRaining
の
instance
では %n
エンティティー
エンティティー
エンティティー
は
地域
の
instance
では %n
eventLocated
物理
and
エンティティー
rainfallIntensity
エンティティー
,
物理
の
time
の existence and
PerFn
エンティティー
の
Millimeter
(s) and 1 の
HourDuration
(s)
エンティティー
は 10.0 より
greater
では %n 50.0 は
エンティティー
より
greater
では %n は
物理
の
time
の existence の
during
holds %n{ない}
(=>
(
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
物理
は
Snowstorm
の
instance
では %n
エンティティー
エンティティー
and
エンティティー
エンティティー
は
Snowing
の
instance
では %n
エンティティー
は
地理的地域
の
instance
では %n
eventLocated
エンティティー
and
エンティティー
エンティティー
は
物理
% の
subprocess
では %n
snowfallIntensity
エンティティー
,
エンティティー
の
time
の existence and
PerFn
エンティティー
の
Centimeter
(s) and 1 の
HourDuration
(s)
エンティティー
は 5.0 より
greater
では %n は
物理
の
time
の existence の
during
holds %n{ない}
(=>
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
exists
(?DURATION ?CURR)
(
and
(
instance
?DURATION
TimeDuration
)
(
instance
?CURR
CurrencyMeasure
)
(
equal
?QUANT
(
PerFn
?CURR ?DURATION)))))
Catalog.kif 459-465
rentalPrice
物理
,
関数量
,
認識エージェント
and
PricingScheme
物理量
物理量
物理量
は
時間分
の
instance
では %n
物理量
は
通貨測定
の
instance
では %n
関数量
は
PerFn
物理量
and
物理量
と
equal
では %n
(=>
(
unitPrice
?ENT ?QUANT ?AGENT ?PS)
(
exists
(?MEAS ?AMT ?UOM)
(
and
(
equal
?QUANT
(
PerFn
?MEAS
(
MeasureFn
?AMT ?UOM)))
(
instance
?MEAS
CurrencyMeasure
))))
Catalog.kif 402-407
unitPrice
エンティティー
,
関数量
,
認識エージェント
and
PricingScheme
物理量
実数
and
測定単位
関数量
は
PerFn
物理量
and
実数
の
測定単位
(s) と
equal
では %n
物理量
は
通貨測定
の
instance
では %n
statement
(
effectiveDose
StaphylococcalEnterotoxinB
(
PerFn
(
MeasureFn
0.0004
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1439-1439
effectiveDose
StaphylococcalEnterotoxinB
and
PerFn
0.0004 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
equal
(
MeasureFn
1.0
SquareMile
)
(
PerFn
(
MeasureFn
1.0
Mile
)
(
MeasureFn
1.0
Mile
)))
Mid-level-ontology.kif 13696-13700
1.0 の
SquareMile
(s) は
PerFn
1.0 の
Mile
(s) and 1.0 の
Mile
(s) と
equal
では %n
(
equal
(
MeasureFn
1.0
SquareYard
)
(
PerFn
(
MeasureFn
1.0
YardLength
)
(
MeasureFn
1.0
YardLength
)))
Mid-level-ontology.kif 13706-13710
1.0 の
SquareYard
(s) は
PerFn
1.0 の
YardLength
(s) and 1.0 の
YardLength
(s) と
equal
では %n
(
lethalDose
AbrinToxin
(
PerFn
(
MeasureFn
0.04
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 439-439
lethalDose
AbrinToxin
and
PerFn
0.04 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
Batrachotoxin
(
PerFn
(
MeasureFn
2.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 310-310
lethalDose
Batrachotoxin
and
PerFn
2.0 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
BotulinumToxin
(
PerFn
(
MeasureFn
0.001
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 325-325
lethalDose
BotulinumToxin
and
PerFn
0.001 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
Diacetoxyscirpenol
(
PerFn
(
MeasureFn
23.0
(
MilliFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1840-1840
lethalDose
Diacetoxyscirpenol
and
PerFn
23.0 の 1 の
thousandth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
RicinToxin
(
PerFn
(
MeasureFn
3.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 431-431
lethalDose
RicinToxin
and
PerFn
3.0 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
Sarin
(
PerFn
(
MeasureFn
100.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 586-586
lethalDose
Sarin
and
PerFn
100.0 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
ShigaToxin
(
PerFn
(
MeasureFn
0.002
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1339-1339
lethalDose
ShigaToxin
and
PerFn
0.002 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
Soman
(
PerFn
(
MeasureFn
64.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 582-582
lethalDose
Soman
and
PerFn
64.0 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
StaphylococcalEnterotoxinB
(
PerFn
(
MeasureFn
0.02
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1440-1440
lethalDose
StaphylococcalEnterotoxinB
and
PerFn
0.02 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
T2Toxin
(
PerFn
(
MeasureFn
5.2
(
MilliFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1845-1845
lethalDose
T2Toxin
and
PerFn
5.2 の 1 の
thousandth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
(
lethalDose
VX
(
PerFn
(
MeasureFn
15.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 599-599
lethalDose
VX
and
PerFn
15.0 の 1 の
millionth
Gram
(s) and 1.0 の 1 の
thousand
Gram
s(s)
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