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
Il numero 1 argomenti di
PerFn
è un
istanza
di
Quantit�Fisica
(
domain
PerFn
2
PhysicalQuantity
)
Merge.kif 6631-6631
Il numero 2 argomenti di
PerFn
è un
istanza
di
Quantit�Fisica
(
instance
PerFn
BinaryFunction
)
Merge.kif 6628-6628
PerFn
è un'
istanza
di
FunzioneBinaria
(
instance
PerFn
TotalValuedRelation
)
Merge.kif 6629-6629
PerFn
è un'
istanza
di
RelazioneAValoreTotale
(
range
PerFn
FunctionQuantity
)
Merge.kif 6633-6633
rango
di
PerFn
è un'istanza di
FunzioneDiQuantit�
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
è una
sottorelazione
di
PerFn
(
subrelation
SpeedFn
PerFn
)
Merge.kif 6654-6654
SpeedFn
è una
sottorelazione
di
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
NumeroReale
McgPerKg
(s is
uguale
a
PerFn
MisuraDiMassa
and
MisuraDiMassa
MisuraDiMassa
is
uguale
a
NumeroReale
un
milionesimo
di
Gram
(s
MisuraDiMassa
is
uguale
a
NumeroReale
1
mille
Gram
s(s
Processo
OggettoIntegro
and
OggettoIntegro
Processo
è un'
istanza
di
Ingestione
OggettoIntegro
è un'
istanza
di
SostanzaBiologicamenteAttiva
OggettoIntegro
è un'
istanza
di
Organismo
OggettoIntegro
è un
paziente
di
Processo
Processo
è un
agente
di
OggettoIntegro
weight
OggettoIntegro
and
MisuraDiMassa
weight
OggettoIntegro
and
MisuraDiMassa
(=>
(
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
Entit�Concreta
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
FunzioneDiQuantit�
is
uguale
a
PerFn
MisuraMonetaria
and la
misura
NumeroReale
è
Unit�DiMisura
Unit�DiMisura
è un'
istanza
di
UnitOfDuration
%è una
istanza
immediata %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
esistes
durante
NumeroReale
INT
IntervalloTemporale
NumeroReale
NumeroReale
INT has luogo
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
durata
di
IntervalloTemporale
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
minore
o uguale a
NumeroReale
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
fine
s in
AgenteCognitivo
ScambioFinanziario
è un
agente
di
AutonomousAgent
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
(=>
(
effectiveDose
?AGENT
(
PerFn
(
MeasureFn
?NUMBER1 ?UNIT1)
(
MeasureFn
?NUMBER2 ?UNIT2)))
(
and
(
instance
?UNIT1
UnitOfMass
)
(
instance
?UNIT2
UnitOfMass
)))
WMD.kif 803-810
effectiveDose
BiochemicalAgent
and
PerFn
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfMass
Unit�DiMisura
è un'
istanza
di
UnitOfMass
(=>
(
lethalDose
?AGENT
(
PerFn
(
MeasureFn
?NUMBER1 ?UNIT1)
(
MeasureFn
?NUMBER2 ?UNIT2)))
(
and
(
instance
?UNIT1
UnitOfMass
)
(
instance
?UNIT2
UnitOfMass
)))
WMD.kif 860-867
lethalDose
BiochemicalAgent
and
PerFn
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfMass
Unit�DiMisura
è un'
istanza
di
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
contractedRentalPrice
Entit�Concreta
,
FunzioneDiQuantit�
and
Agreement
Quantit�Fisica
Quantit�Fisica
Quantit�Fisica
è un'
istanza
di
MisuraMonetaria
Quantit�Fisica
è un'
istanza
di
Durata
FunzioneDiQuantit�
is
uguale
a
PerFn
Quantit�Fisica
and
Quantit�Fisica
(=>
(
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
Entit�Concreta
è un'
istanza
di
HeavyRaining
Entit�
Entit�
Entit�
è un'
istanza
di
Regione
eventLocated
Entit�Concreta
and
Entit�
rainfallIntensity
Entit�
, il
tempo
di esistenza di
Entit�Concreta
and
PerFn
Entit�
Millimeter
(s and 1
HourDuration
(s
Entit�
è
pi
ù grande di 10.0 50.0 è
pi
ù grande di
Entit�
vales
durante
il
tempo
di esistenza di
Entit�Concreta
(=>
(
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
Entit�Concreta
è un'
istanza
di
Snowstorm
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Snowing
Entit�
è un'
istanza
di
AreaGeografica
eventLocated
Entit�
and
Entit�
Entit�
è un
sottoprocesso
di
Entit�Concreta
snowfallIntensity
Entit�
, il
tempo
di esistenza di
Entit�
and
PerFn
Entit�
Centimeter
(s and 1
HourDuration
(s
Entit�
è
pi
ù grande di 5.0 vales
durante
il
tempo
di esistenza di
Entit�Concreta
(=>
(
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
Entit�Concreta
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
Quantit�Fisica
Quantit�Fisica
Quantit�Fisica
è un'
istanza
di
Durata
Quantit�Fisica
è un'
istanza
di
MisuraMonetaria
FunzioneDiQuantit�
is
uguale
a
PerFn
Quantit�Fisica
and
Quantit�Fisica
(=>
(
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
Entit�
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
Quantit�Fisica
NumeroReale
and
Unit�DiMisura
FunzioneDiQuantit�
is
uguale
a
PerFn
Quantit�Fisica
and
NumeroReale
Unit�DiMisura
(s
Quantit�Fisica
è un'
istanza
di
MisuraMonetaria
statement
(
effectiveDose
StaphylococcalEnterotoxinB
(
PerFn
(
MeasureFn
0.0004
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1439-1439
effectiveDose
StaphylococcalEnterotoxinB
and
PerFn
0.0004 un
milionesimo
di
Gram
(s and 1.0 1
mille
Gram
s(s
(
equal
(
MeasureFn
1.0
SquareMile
)
(
PerFn
(
MeasureFn
1.0
Mile
)
(
MeasureFn
1.0
Mile
)))
Mid-level-ontology.kif 13695-13699
1.0
SquareMile
(s is
uguale
a
PerFn
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 13705-13709
1.0
SquareYard
(s is
uguale
a
PerFn
1.0
YardLength
(s and 1.0
YardLength
(s
(
lethalDose
AbrinToxin
(
PerFn
(
MeasureFn
0.04
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 439-439
lethalDose
AbrinToxin
and
PerFn
0.04 un
milionesimo
di
Gram
(s and 1.0 1
mille
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 un
milionesimo
di
Gram
(s and 1.0 1
mille
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 un
milionesimo
di
Gram
(s and 1.0 1
mille
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 un
millesimo
di un
Gram
(s and 1.0 1
mille
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 un
milionesimo
di
Gram
(s and 1.0 1
mille
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 un
milionesimo
di
Gram
(s and 1.0 1
mille
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 un
milionesimo
di
Gram
(s and 1.0 1
mille
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 un
milionesimo
di
Gram
(s and 1.0 1
mille
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 un
milionesimo
di
Gram
(s and 1.0 1
mille
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 un
millesimo
di un
Gram
(s and 1.0 1
mille
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 un
milionesimo
di
Gram
(s and 1.0 1
mille
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