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
Die Zahl 1 Argument von
PerFn
ist ein
fall
von
PhysicalQuantity
%n{nicht}
(
domain
PerFn
2
PhysicalQuantity
)
Merge.kif 6631-6631
Die Zahl 2 Argument von
PerFn
ist ein
fall
von
PhysicalQuantity
%n{nicht}
(
instance
PerFn
BinaryFunction
)
Merge.kif 6628-6628
PerFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
instance
PerFn
TotalValuedRelation
)
Merge.kif 6629-6629
PerFn
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
range
PerFn
FunctionQuantity
)
Merge.kif 6633-6633
bildbereich
von
PerFn
ist ein fall von
FunctionQuantity
{nicht}
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
ist eine
teilrelation
von
PerFn
(
subrelation
SpeedFn
PerFn
)
Merge.kif 6654-6654
SpeedFn
ist eine
teilrelation
von
PerFn
(
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
Wenn
RealNumber
McgPerKg
(s) ist gleich
PerFn
MassMeasure
and
** MassMeasure
%n{nicht} und
** MassMeasure
ist gleich
** RealNumber
ein
millionstel
einer
Gram
(s) %n{nicht} und
** ** MassMeasure
ist gleich
** RealNumber
1
tausend
Gram
(s) %n{nicht},
dann es gibt
Process
,
SelfConnectedObject
, and und
** SelfConnectedObject
um
** Process
ist ein
fall
von
Ingesting
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
BiologicallyActiveSubstance
%n{nicht} und
** ** SelfConnectedObject
ist ein
fall
von
Organism
%n{nicht} und
** SelfConnectedObject
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** ** SelfConnectedObject
%n{nicht} und
weight
** SelfConnectedObject
and
** MassMeasure
und
weight
** ** SelfConnectedObject
and
** ** MassMeasure
(=>
(
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
Wenn
rentalPrice
** Physical
,
FunctionQuantity
,
CognitiveAgent
and
PricingScheme
und
** FunctionQuantity
ist gleich
PerFn
CurrencyMeasure
and das
mass
von
RealNumber
ist
UnitOfMeasure
%n{nicht} %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfDuration
%n{nicht} und
Entity
ist ein
direkter
fall von
** Physical
und
Process
ist ein
fall
von
Renting
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Process
besteht
waehrend
** RealNumber
INT %n{nicht},
dann fuer alle
** TimeInterval
wenn es gibt
** RealNumber
um
** RealNumber
INT geschieht
waehrend
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
dauer
von
** ** TimeInterval
ist
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
endet an
** CognitiveAgent
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** AutonomousAgent
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
(=>
(
effectiveDose
?AGENT
(
PerFn
(
MeasureFn
?NUMBER1 ?UNIT1)
(
MeasureFn
?NUMBER2 ?UNIT2)))
(
and
(
instance
?UNIT1
UnitOfMass
)
(
instance
?UNIT2
UnitOfMass
)))
WMD.kif 803-810
Wenn
effectiveDose
** BiochemicalAgent
and
PerFn
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s),
dann
** UnitOfMeasure
ist ein
fall
von
UnitOfMass
%n{nicht} und
** ** UnitOfMeasure
ist ein
fall
von
UnitOfMass
%n{nicht}
(=>
(
lethalDose
?AGENT
(
PerFn
(
MeasureFn
?NUMBER1 ?UNIT1)
(
MeasureFn
?NUMBER2 ?UNIT2)))
(
and
(
instance
?UNIT1
UnitOfMass
)
(
instance
?UNIT2
UnitOfMass
)))
WMD.kif 860-867
Wenn
lethalDose
** BiochemicalAgent
and
PerFn
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s),
dann
** UnitOfMeasure
ist ein
fall
von
UnitOfMass
%n{nicht} und
** ** UnitOfMeasure
ist ein
fall
von
UnitOfMass
%n{nicht}
consequent
(=>
(
contractedRentalPrice
?OBJ ?QUANT ?AGREE)
(
exists
(?DURATION ?CURR)
(
and
(
instance
?CURR
CurrencyMeasure
)
(
instance
?DURATION
TimeDuration
)
(
equal
?QUANT
(
PerFn
?CURR ?DURATION)))))
Catalog.kif 505-511
Wenn
contractedRentalPrice
** Physical
,
FunctionQuantity
and
Agreement
,
dann es gibt
PhysicalQuantity
und
** PhysicalQuantity
um
** ** PhysicalQuantity
ist ein
fall
von
CurrencyMeasure
%n{nicht} und
** PhysicalQuantity
ist ein
fall
von
TimeDuration
%n{nicht} und
** FunctionQuantity
ist gleich
PerFn
** ** PhysicalQuantity
and
** PhysicalQuantity
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
HeavyRaining
%n{nicht},
dann es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Region
%n{nicht} und
eventLocated
** Physical
and
** entity
und
rainfallIntensity
** entity
, die
zeit
des Bestehens von
** Physical
and
PerFn
** ** entity
Millimeter
(s) and 1
HourDuration
(s) und
** ** entity
ist
groesserAls
10.0 %n{nicht} und 50.0 ist
groesserAls
** ** entity
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Physical
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
Snowstorm
%n{nicht},
dann es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Snowing
%n{nicht} und
** ** entity
ist ein
fall
von
GeographicArea
%n{nicht} und
eventLocated
** entity
and
** ** entity
und
** entity
ist ein
subProzess
von
** Physical
und
snowfallIntensity
** ** entity
, die
zeit
des Bestehens von
** entity
and
PerFn
** ** entity
Centimeter
(s) and 1
HourDuration
(s) und
** ** entity
ist
groesserAls
5.0 %n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Physical
%n{nicht}
(=>
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
exists
(?DURATION ?CURR)
(
and
(
instance
?DURATION
TimeDuration
)
(
instance
?CURR
CurrencyMeasure
)
(
equal
?QUANT
(
PerFn
?CURR ?DURATION)))))
Catalog.kif 459-465
Wenn
rentalPrice
** Physical
,
FunctionQuantity
,
CognitiveAgent
and
PricingScheme
,
dann es gibt
PhysicalQuantity
und
** PhysicalQuantity
um
** PhysicalQuantity
ist ein
fall
von
TimeDuration
%n{nicht} und
** ** PhysicalQuantity
ist ein
fall
von
CurrencyMeasure
%n{nicht} und
** FunctionQuantity
ist gleich
PerFn
** ** PhysicalQuantity
and
** PhysicalQuantity
%n{nicht}
(=>
(
unitPrice
?ENT ?QUANT ?AGENT ?PS)
(
exists
(?MEAS ?AMT ?UOM)
(
and
(
equal
?QUANT
(
PerFn
?MEAS
(
MeasureFn
?AMT ?UOM)))
(
instance
?MEAS
CurrencyMeasure
))))
Catalog.kif 402-407
Wenn
unitPrice
** Entity
,
FunctionQuantity
,
CognitiveAgent
and
PricingScheme
,
dann es gibt
PhysicalQuantity
,
RealNumber
, and und
UnitOfMeasure
um
** FunctionQuantity
ist gleich
PerFn
** PhysicalQuantity
and
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** PhysicalQuantity
ist ein
fall
von
CurrencyMeasure
%n{nicht}
statement
(
effectiveDose
StaphylococcalEnterotoxinB
(
PerFn
(
MeasureFn
0.0004
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1439-1439
effectiveDose
StaphylococcalEnterotoxinB
and
PerFn
0.0004 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(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) ist gleich
PerFn
1.0
Mile
(s) and 1.0
Mile
(s) %n{nicht}
(
equal
(
MeasureFn
1.0
SquareYard
)
(
PerFn
(
MeasureFn
1.0
YardLength
)
(
MeasureFn
1.0
YardLength
)))
Mid-level-ontology.kif 13706-13710
1.0
SquareYard
(s) ist gleich
PerFn
1.0
YardLength
(s) and 1.0
YardLength
(s) %n{nicht}
(
lethalDose
AbrinToxin
(
PerFn
(
MeasureFn
0.04
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 439-439
lethalDose
AbrinToxin
and
PerFn
0.04 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
Batrachotoxin
(
PerFn
(
MeasureFn
2.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 310-310
lethalDose
Batrachotoxin
and
PerFn
2.0 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
BotulinumToxin
(
PerFn
(
MeasureFn
0.001
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 325-325
lethalDose
BotulinumToxin
and
PerFn
0.001 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
Diacetoxyscirpenol
(
PerFn
(
MeasureFn
23.0
(
MilliFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1840-1840
lethalDose
Diacetoxyscirpenol
and
PerFn
23.0 ein
tausendstes
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
RicinToxin
(
PerFn
(
MeasureFn
3.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 431-431
lethalDose
RicinToxin
and
PerFn
3.0 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
Sarin
(
PerFn
(
MeasureFn
100.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 586-586
lethalDose
Sarin
and
PerFn
100.0 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
ShigaToxin
(
PerFn
(
MeasureFn
0.002
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1339-1339
lethalDose
ShigaToxin
and
PerFn
0.002 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
Soman
(
PerFn
(
MeasureFn
64.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 582-582
lethalDose
Soman
and
PerFn
64.0 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
StaphylococcalEnterotoxinB
(
PerFn
(
MeasureFn
0.02
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1440-1440
lethalDose
StaphylococcalEnterotoxinB
and
PerFn
0.02 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
T2Toxin
(
PerFn
(
MeasureFn
5.2
(
MilliFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1845-1845
lethalDose
T2Toxin
and
PerFn
5.2 ein
tausendstes
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
VX
(
PerFn
(
MeasureFn
15.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 599-599
lethalDose
VX
and
PerFn
15.0 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(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