Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
monetaryValue
Sigma KEE - monetaryValue
monetaryValue
appearance as argument number 1
(
documentation
monetaryValue
ChineseLanguage
"这是一个
BinaryPredicate
,它把一个
Object
或
Process
和以一个
CurrencyMeasure
来表示它的价值联系起来。")
chinese_format.kif 2668-2669
(
documentation
monetaryValue
EnglishLanguage
"A
BinaryPredicate
that associates an
Object
or
Process
with its value expressed as an instance of
CurrencyMeasure
.")
Merge.kif 7690-7692
(
domain
monetaryValue
1
Physical
)
Merge.kif 7687-7687
The number 1 argument of
monetary value
is an
instance
of
physical
(
domain
monetaryValue
2
CurrencyMeasure
)
Merge.kif 7688-7688
The number 2 argument of
monetary value
is an
instance
of
currency measure
(
instance
monetaryValue
AsymmetricRelation
)
Merge.kif 7685-7685
monetary value
is an
instance
of
asymmetric relation
(
instance
monetaryValue
BinaryPredicate
)
Merge.kif 7686-7686
monetary value
is an
instance
of
binary predicate
(
instance
monetaryValue
SingleValuedRelation
)
Merge.kif 7684-7684
monetary value
is an
instance
of
single valued relation
appearance as argument number 2
(
format
ChineseLanguage
monetaryValue
"%1 的价值 %n 是 %2")
chinese_format.kif 627-627
(
format
EnglishLanguage
monetaryValue
"value of %1 is %n %2")
english_format.kif 630-630
(
termFormat
ChineseLanguage
monetaryValue
"货币价值")
chinese_format.kif 628-628
(
termFormat
ChineseTraditionalLanguage
monetaryValue
"貨幣價值")
domainEnglishFormat.kif 38339-38339
(
termFormat
EnglishLanguage
monetaryValue
"monetary value")
domainEnglishFormat.kif 38338-38338
antecedent
(=>
(
and
(
agent
?Purchase ?Buyer)
(
origin
?Purchase ?Seller)
(
patient
?Purchase ?Object)
(
monetaryValue
?Object ?Money))
(
exists
(?Payment)
(
and
(
subProcess
?Payment ?Purchase)
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Money)
(
origin
?Payment ?Buyer)
(
destination
?Payment ?Seller))))
FinancialOntology.kif 487-499
If
an agent
is an
agent
of
a process
and
the process
originate
s at
an object
and
a physical
is a
patient
of
the process
and
value
of
the physical
is
a currency measure
,
then there exists
a financial transaction
such that
the financial transaction
is a
subprocess
of
the process
and
the financial transaction
is an
instance
of
payment
and
the currency measure
is a
transaction
amount of
the financial transaction
and
the financial transaction
originate
s at
the agent
and
the financial transaction
end
s up at
the object
(=>
(
and
(
instance
?Depositing
DepositingACheck
)
(
patient
?Depositing ?Check)
(
instance
?Check
Check
)
(
checkAccount
?Check ?Account)
(
monetaryValue
?Check ?Amount))
(
exists
(?Deposit)
(
and
(
instance
?Deposit
Deposit
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit ?Amount))))
FinancialOntology.kif 340-351
If
a process
is an
instance
of
depositingA check
and
a check
is a
patient
of
the process
and
the check
is an
instance
of
check
and
a financial account
is a
check
account of
the check
and
value
of
the check
is
a currency measure
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
deposit
and
the financial transaction
end
s up at the
currency
of
the financial account
and
the currency measure
is a
transaction
amount of
the financial transaction
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
checkAccount
?Check ?Account)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Withdrawal)
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instrument
?Withdrawal ?Check)
(
equal
(
WhenFn
?Withdrawal) ?WithdrawalTime)
(
meetsTemporally
?ProcessingTime ?WithdrawalTime)
(
transactionAmount
?Withdrawal ?Amount)
(
origin
?Withdrawal ?Account))))
FinancialOntology.kif 104-118
If
value
of
a check
is
a currency measure
and
a financial account
is a
check
account of
the check
and
a process
is an
instance
of
processingA check
and
the check
is a
patient
of
the process
and the
time
of existence of
the process
is
equal
to
the process
Time,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
withdrawal
and
the check
is an
instrument
for
the financial transaction
and the
time
of existence of
the financial transaction
is
equal
to
the financial transaction
Time and
the process
Time
meet
s
the financial transaction
Time and
the currency measure
is a
transaction
amount of
the financial transaction
and
the financial transaction
originate
s at
the financial account
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
destination
?Processing
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Deposit)
(
and
(
instance
?Deposit
Deposit
)
(
instrument
?Deposit ?Check)
(
equal
(
WhenFn
?Deposit) ?DepositTime)
(
meetsTemporally
?ProcessingTime ?DepositTime)
(
transactionAmount
?Deposit ?Amount)
(
destination
?Deposit
(
CurrencyFn
?Account)))))
FinancialOntology.kif 120-135
If
value
of
an object
is
a currency measure
and
a process
is an
instance
of
processingA check
and
the object
is a
patient
of
the process
and
the process
end
s up at the
currency
of
a financial account
and
the financial account
is an
instance
of
financial account
and the
time
of existence of
the process
is
equal
to
the process
Time,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
deposit
and
the object
is an
instrument
for
the financial transaction
and the
time
of existence of
the financial transaction
is
equal
to
the financial transaction
Time and
the process
Time
meet
s
the financial transaction
Time and
the currency measure
is a
transaction
amount of
the financial transaction
and
the financial transaction
end
s up at the
currency
of
the financial account
(=>
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT)
(
equal
(
WealthFn
?PERSON) ?AMOUNT))
Merge.kif 7711-7715
If
value
of
belongings
of
an agent
is
a currency measure
,
then
value
of belongings of
the agent
is
equal
to
the currency measure
consequent
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 193-212
If
muslim
is an
attribute
of
an agent
and
value
of belongings of
the agent
is
equal
to
a currency measure
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
zakat
and
a fourth entity
is an
instance
of
year
and
the fourth entity
takes place
during
the
time
of existence of
the agent
and
fully formed
is an
attribute
of
the agent
holds
during
the fourth entity
and
the agent
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and
value
of
the other entity
is
a fifth entity
the third entity
(s) and
the third entity
is an
instance
of
UnitOfCurrency
and
the fifth entity
is
greater
than
the currency measure
and 0.025 has the
modal
force
of
obligation
(=>
(
and
(
instance
?AWARD
LegalAward
)
(
refers
?AWARD ?ACTION)
(
instance
?ACTION
LegalAction
)
(
agent
?ACTION ?PLAINTIFF))
(
confersRight
(
exists
(?GET ?OBJ ?VALUE)
(
and
(
instance
?GET
Getting
)
(
experiencer
?GET ?PLAINTIFF)
(
patient
?GET ?OBJ)
(
monetaryValue
?OBJ ?VALUE))) ?AWARD ?PLAINTIFF))
Mid-level-ontology.kif 15621-15633
If
an entity
is an
instance
of
legal award
and
the entity
includes a
reference
to
a process
and
the process
is an
instance
of
legal action
and
a cognitive agent
is an
agent
of
the process
,
then
the entity
allow
s
the cognitive agent
to perform task of the type there exist
another entity
,
a third entity
and
a fourth entity
such that
the other entity
is an
instance
of
getting
and
the cognitive agent
experience
s
the other entity
and
the third entity
is a
patient
of
the other entity
and
value
of
the third entity
is
the fourth entity
(=>
(
and
(
instance
?S
Saving
)
(
patient
?S ?O)
(
agent
?S ?A))
(
exists
(?Q1 ?Q2 ?U)
(
and
(
instance
?U
UnitOfCurrency
)
(
holdsDuring
(
BeginFn
(
WhenFn
?S))
(
monetaryValue
?O
(
MeasureFn
?Q1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?S))
(
monetaryValue
?O
(
MeasureFn
?Q2 ?U)))
(
possesses
?A ?O)
(
lessThan
?Q1 ?Q2))))
Mid-level-ontology.kif 23268-23285
If
a process
is an
instance
of
saving
and
an object
is a
patient
of
the process
and
an agent
is an
agent
of
the process
,
then there exist
a real number
,
another real number
and
an entity
such that
the entity
is an
instance
of
UnitOfCurrency
and
value
of
the object
is
the real number
the entity
(s) holds
during
the
beginning
of the
time
of existence of
the process
and
value
of
the object
is
the other real number
the entity
(s) holds
during
the
end
of the
time
of existence of
the process
and
the agent
possess
es
the object
and
the real number
is
less
than
the other real number
(=>
(
equal
(
WealthFn
?PERSON) ?AMOUNT)
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT))
Merge.kif 7705-7709
If
value
of belongings of
an agent
is
equal
to
a currency measure
,
then
value
of
belongings
of
the agent
is
the currency measure
(=>
(
financialAsset
?P ?A)
(
exists
(?V)
(
monetaryValue
?A ?V)))
Mid-level-ontology.kif 23296-23299
If
an agent
has the
asset
an object
,
then there exists
a currency measure
such that
value
of
the object
is
the currency measure
(=>
(
grossMerchandiseBoughtInPeriod
?A ?O ?CM ?TP)
(
and
(
monetaryValue
?CI ?CM)
(
instance
?CI
(
KappaFn
?COL
(
and
(
instance
?B
Buying
)
(
instance
?ITEM ?COL)
(
agent
?B ?A)
(
patient
?B ?ITEM)
(
patient
?B ?O)
(
during
?B ?TP))))))
ComputerInput.kif 2971-2983
If the
value
of everything purchased by
an agent
for
an organization
during
a time interval
is
a currency measure
,
then
value
of
a physical
is
the currency measure
and
the physical
is an
instance
of the
class
described by
a symbolic string
(=>
(
grossMerchandiseSoldInPeriod
?A ?O ?CM ?TP)
(
and
(
monetaryValue
?CI ?CM)
(
instance
?CI
(
KappaFn
?COL
(
and
(
instance
?S
Selling
)
(
instance
?ITEM ?COL)
(
agent
?S ?A)
(
patient
?S ?ITEM)
(
patient
?S ?O)
(
during
?S ?TP))))))
ComputerInput.kif 2995-3007
If
GMV
an agent
,
an organization
,
a currency measure
and
a time interval
,
then
value
of
a physical
is
the currency measure
and
the physical
is an
instance
of the
class
described by
a symbolic string
(=>
(
instance
?Asset
FinancialAsset
)
(
exists
(?Value)
(
monetaryValue
?Asset ?Value)))
FinancialOntology.kif 47-50
If
a physical
is an
instance
of
financial asset
,
then there exists
a currency measure
such that
value
of
the physical
is
the currency measure
(=>
(
instance
?CURRENCY
Currency
)
(
exists
(?MEASURE)
(
monetaryValue
?CURRENCY ?MEASURE)))
Merge.kif 15372-15375
If
a physical
is an
instance
of
currency
,
then there exists
a currency measure
such that
value
of
the physical
is
the currency measure
(=>
(
instance
?Check
Check
)
(
exists
(?Value)
(
monetaryValue
?Check ?Value)))
FinancialOntology.kif 94-97
If
a physical
is an
instance
of
check
,
then there exists
a currency measure
such that
value
of
the physical
is
the currency measure
(=>
(
instance
?X
CurrencyExchangeService
)
(
exists
(?AMT1 ?CURR1 ?AMT2 ?CURR2 ?CUST)
(
and
(
agent
?X ?CUST)
(
not
(
equal
?CURR1 ?CURR2))
(
instance
?AMT1
CurrencyMeasure
)
(
instance
?AMT2
CurrencyMeasure
)
(
holdsDuring
(
WhenFn
(
StartFn
?X))
(
and
(
monetaryValue
?M1 ?AMT1)
(
possesses
?CUST ?M1)
(
equal
?AMT1
(
MeasureFn
?NUM1 ?CURR1))))
(
holdsDuring
(
WhenFn
(
EndFn
?X))
(
and
(
monetaryValue
?M2 ?AMT2)
(
possesses
?CUST ?M2)
(
not
(
possesses
?CUST ?M1))
(
equal
?AMT2
(
MeasureFn
?NUM2 ?CURR2)))))))
Hotel.kif 2077-2097
If
a time interval
is an
instance
of
currency exchange
,
then there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
and
an agent
such that
the agent
is an
agent
of
the time interval
and
the other entity
is not
equal
to
the fourth entity
and
the entity
is an
instance
of
currency measure
and
the third entity
is an
instance
of
currency measure
and
value
of
a fifth entity
is
the entity
and
the agent
possess
es
the fifth entity
and
the entity
is
equal
to
a sixth entity
the other entity
(s) holds
during
the
time
of existence of the
start
of
the time interval
and
value
of
a seventh entity
is
the third entity
and
the agent
possess
es
the seventh entity
and
the agent
doesn't
possess
the fifth entity
and
the third entity
is
equal
to
a eighth entity
the fourth entity
(s) holds
during
the
time
of existence of the
end
of
the time interval
(=>
(
transactionAmount
?TRANS ?AMOUNT)
(
exists
(?OBJ)
(
and
(
patient
?TRANS ?OBJ)
(
monetaryValue
?OBJ ?AMOUNT))))
Merge.kif 11690-11695
If
a currency measure
is a
transaction
amount of
a financial transaction
,
then there exists
a physical
such that
the physical
is a
patient
of
the financial transaction
and
value
of
the physical
is
the currency measure
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