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
validityPeriod
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 7786-7788
(
documentation
monetaryValue
JapaneseLanguage
"
BinaryPredicate
は、
Object
または
Process
を
CurrencyMeasure
のインスタンスとして表される値に関連付ける。")
japanese_format.kif 1388-1389
(
domain
monetaryValue
1
Physical
)
Merge.kif 7783-7783
O argumento numero 1 de
monetaryValue
e' uma
instancia
de
Fisico
(
domain
monetaryValue
2
CurrencyMeasure
)
Merge.kif 7784-7784
O argumento numero 2 de
monetaryValue
e' uma
instancia
de
Medida de Divisa
(
instance
monetaryValue
AsymmetricRelation
)
Merge.kif 7781-7781
monetaryValue
e' uma
instancia
de
Relacao Assimetrica
(
instance
monetaryValue
BinaryPredicate
)
Merge.kif 7782-7782
monetaryValue
e' uma
instancia
de
Predicado Binario
(
instance
monetaryValue
SingleValuedRelation
)
Merge.kif 7780-7780
monetaryValue
e' uma
instancia
de
Relacao com Valor Unico
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
(
format
FrenchLanguage
monetaryValue
"valeur de %1 est %n %2")
french_format.kif 378-378
(
format
ItalianLanguage
monetaryValue
"valore di %1 è %n %2")
relations-it.txt 193-193
(
format
JapaneseLanguage
monetaryValue
"%1 の value は %2 では %n")
japanese_format.kif 2112-2112
(
format
PortugueseLanguage
monetaryValue
"o valor de %1 e' %n %2")
portuguese_format.kif 330-330
(
format
cz
monetaryValue
"value of %1 %p{je} %n{nen�} %2")
relations-cz.txt 387-387
(
format
de
monetaryValue
"wert von %1 ist %n{nicht} %2")
relations-de.txt 822-822
(
format
hi
monetaryValue
"%1 kaa muulya %2 %n hai")
relations-hindi.txt 231-231
(
format
ro
monetaryValue
"value%t{valoarea} lui %1 %n{nu} este %2")
relations-ro.kif 400-400
(
format
sv
monetaryValue
"värdet av %1 är %n{inte} %2")
relations-sv.txt 420-420
(
format
tg
monetaryValue
"bale ng %1 %n ay %2")
relations-tg.txt 371-371
(
subrelation
appraisedValue
monetaryValue
)
FinancialOntology.kif 1483-1483
appraisedValue
e' uma
sub
-relacao de
monetaryValue
(
subrelation
finalPrice
monetaryValue
)
FinancialOntology.kif 3476-3476
finalPrice
e' uma
sub
-relacao de
monetaryValue
(
termFormat
ChineseLanguage
monetaryValue
"货币价值")
chinese_format.kif 628-628
(
termFormat
ChineseTraditionalLanguage
monetaryValue
"貨幣價值")
domainEnglishFormat.kif 38354-38354
(
termFormat
EnglishLanguage
monetaryValue
"monetary value")
domainEnglishFormat.kif 38353-38353
(
termFormat
tg
monetaryValue
"halaga ng salapi")
relations-tg.txt 372-372
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
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
Objeto
Fisico
e' um
patient
de
Processo
o
valor
de
Fisico
e'
Medida de Divisa
Transacao Financeira
Transacao Financeira
e' um
sub
-processo de
Processo
Transacao Financeira
e' uma
instancia
de
Payment
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
tem como
origem
AutonomousAgent
Transacao Financeira
termina
em
Objeto
(=>
(
and
(
downPayment
?Loan
(
MeasureFn
?Amount ?CUNIT))
(
loanForPurchase
?Loan ?Purchase)
(
monetaryValue
?Purchase
(
MeasureFn
?Value ?CUNIT))
(
equal
?Balance
(
SubtractionFn
?Value ?Amount)))
(
originalBalance
?Loan
(
MeasureFn
?Balance ?CUNIT)))
FinancialOntology.kif 818-828
downPayment
Loan
and
Numero Real
Unidade de Medida
(s)
loanForPurchase
Loan
and
Objeto
o
valor
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
originalBalance
Loan
and
Numero Real
Unidade de Medida
(s)
(=>
(
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
Processo
e' uma
instancia
de
DepositingACheck
Check
e' um
patient
de
Processo
Check
e' uma
instancia
de
Check
checkAccount
Check
and
FinancialAccount
o
valor
de
Check
e'
Medida de Divisa
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Deposit
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Medida de Divisa
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
checkAccount
?Check ?Account)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Withdrawal ?WithdrawalTime)
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instrument
?Withdrawal ?Check)
(
equal
(
WhenFn
?Withdrawal) ?WithdrawalTime)
(
meetsTemporally
?ProcessingTime ?WithdrawalTime)
(
transactionAmount
?Withdrawal ?Amount)
(
origin
?Withdrawal ?Account))))
FinancialOntology.kif 104-118
O
valor
de
Check
e'
Medida de Divisa
checkAccount
Check
and
FinancialAccount
Processo
e' uma
instancia
de
ProcessingACheck
Check
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
Transacao Financeira
Transacao Financeira
Time
Transacao Financeira
e' uma
instancia
de
Withdrawal
Check
e' um
instrumento
para
Transacao Financeira
tempo
de existencia de
Transacao Financeira
e'
igual
a
Transacao Financeira
Time
Processo
Time
encontra
Transacao Financeira
Time
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
tem como
origem
FinancialAccount
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
destination
?Processing
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Deposit ?DepositTime)
(
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
O
valor
de
Objeto
e'
Medida de Divisa
Processo
e' uma
instancia
de
ProcessingACheck
Objeto
e' um
patient
de
Processo
Processo
termina
em
CurrencyFn
FinancialAccount
FinancialAccount
e' uma
instancia
de
FinancialAccount
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
Transacao Financeira
Transacao Financeira
Time
Transacao Financeira
e' uma
instancia
de
Deposit
Objeto
e' um
instrumento
para
Transacao Financeira
tempo
de existencia de
Transacao Financeira
e'
igual
a
Transacao Financeira
Time
Processo
Time
encontra
Transacao Financeira
Time
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
(=>
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT)
(
equal
(
WealthFn
?PERSON) ?AMOUNT))
Merge.kif 7807-7811
O
valor
de
propriedade
de
AutonomousAgent
e'
Medida de Divisa
valor
da propriedade de
AutonomousAgent
e'
igual
a
Medida de Divisa
consequent
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
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 204-223
Muslim
e' um
atributo
de
AutonomousAgent
valor
da propriedade de
AutonomousAgent
e'
igual
a
Medida de Divisa
o argumento
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Zakat
Entidade
e' uma
instancia
de
Ano
Entidade
acontece
durante
tempo
de existencia de
AutonomousAgent
FullyFormed
e' um
atributo
de
AutonomousAgent
vale
durante
Entidade
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Entidade
o
valor
de
Entidade
e'
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfCurrency
Entidade
e'
maior
que
Medida de Divisa
+ 0.025 tem a
forca
modal
de
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 16200-16212
Entidade
e' uma
instancia
de
LegalAward
Entidade
inclui uma
referencia
a
Processo
Processo
e' uma
instancia
de
Acao Legal
Processo
e' um
agente
de
Agente Cognitivo
Entidade
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Obter
Agente Cognitivo
experimenta
Entidade
Entidade
e' um
patient
de
Entidade
o
valor
de
Entidade
e'
Entidade
(=>
(
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 23828-23845
Processo
e' uma
instancia
de
Saving
Objeto
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Numero Real
Numero Real
and
Entidade
Entidade
e' uma
instancia
de
UnitOfCurrency
o
valor
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante o
comeco
de
tempo
de existencia de
Processo
o
valor
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante o
fim
de
tempo
de existencia de
Processo
AutonomousAgent
possui
Objeto
Numero Real
e'
menos
que
Numero Real
(=>
(
equal
(
WealthFn
?PERSON) ?AMOUNT)
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT))
Merge.kif 7801-7805
Valor
da propriedade de
AutonomousAgent
e'
igual
a
Medida de Divisa
o
valor
de
propriedade
de
AutonomousAgent
e'
Medida de Divisa
(=>
(
financialAsset
?P ?A)
(
exists
(?V)
(
monetaryValue
?A ?V)))
Mid-level-ontology.kif 23856-23859
financialAsset
AutonomousAgent
and
Objeto
Medida de Divisa
o
valor
de
Objeto
e'
Medida de Divisa
(=>
(
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 2974-2986
grossMerchandiseBoughtInPeriod
AutonomousAgent
,
Organizacao
,
Medida de Divisa
and
Intervalo Temporal
o
valor
de
Fisico
e'
Medida de Divisa
Fisico
e' uma
instancia
de a
classe
descrita por
Sequencia Simbolica
(=>
(
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 2998-3010
grossMerchandiseSoldInPeriod
AutonomousAgent
,
Organizacao
,
Medida de Divisa
and
Intervalo Temporal
o
valor
de
Fisico
e'
Medida de Divisa
Fisico
e' uma
instancia
de a
classe
descrita por
Sequencia Simbolica
(=>
(
instance
?Asset
FinancialAsset
)
(
exists
(?Value)
(
monetaryValue
?Asset ?Value)))
FinancialOntology.kif 47-50
Fisico
e' uma
instancia
de
FinancialAsset
Medida de Divisa
o
valor
de
Fisico
e'
Medida de Divisa
(=>
(
instance
?CURRENCY
Currency
)
(
exists
(?MEASURE)
(
monetaryValue
?CURRENCY ?MEASURE)))
Merge.kif 15654-15657
Fisico
e' uma
instancia
de
Currency
Medida de Divisa
o
valor
de
Fisico
e'
Medida de Divisa
(=>
(
instance
?Cash
Currency
)
(
exists
(?Value)
(
monetaryValue
?Cash ?Value)))
FinancialOntology.kif 3481-3484
Fisico
e' uma
instancia
de
Currency
Medida de Divisa
o
valor
de
Fisico
e'
Medida de Divisa
(=>
(
instance
?Check
Check
)
(
exists
(?Value)
(
monetaryValue
?Check ?Value)))
FinancialOntology.kif 94-97
Fisico
e' uma
instancia
de
Check
Medida de Divisa
o
valor
de
Fisico
e'
Medida de Divisa
(=>
(
instance
?X
CurrencyExchangeService
)
(
exists
(?AMT1 ?CURR1 ?AMT2 ?CURR2 ?CUST ?M1 ?M2 ?NUM1 ?NUM2)
(
and
(
agent
?X ?CUST)
(
not
(
equal
?CURR1 ?CURR2))
(
instance
?AMT1
CurrencyMeasure
)
(
instance
?AMT2
CurrencyMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?X))
(
and
(
monetaryValue
?M1 ?AMT1)
(
possesses
?CUST ?M1)
(
equal
?AMT1
(
MeasureFn
?NUM1 ?CURR1))))
(
holdsDuring
(
EndFn
(
WhenFn
?X))
(
and
(
monetaryValue
?M2 ?AMT2)
(
possesses
?CUST ?M2)
(
not
(
possesses
?CUST ?M1))
(
equal
?AMT2
(
MeasureFn
?NUM2 ?CURR2)))))))
Hotel.kif 2104-2124
Processo
e' uma
instancia
de
CurrencyExchangeService
Entidade
Entidade
,
Entidade
,
Entidade
,
AutonomousAgent
,
Entidade
,
Entidade
,
Entidade
and
Entidade
Processo
e' um
agente
de
AutonomousAgent
Entidade
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Medida de Divisa
Entidade
e' uma
instancia
de
Medida de Divisa
o
valor
de
Entidade
e'
Entidade
AutonomousAgent
possui
Entidade
Entidade
e'
igual
a
Entidade
Entidade
(s)
vale
durante o
comeco
de
tempo
de existencia de
Processo
o
valor
de
Entidade
e'
Entidade
AutonomousAgent
possui
Entidade
AutonomousAgent
nao
possui
%n
Entidade
Entidade
e'
igual
a
Entidade
Entidade
(s)
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
transactionAmount
?TRANS ?AMOUNT)
(
exists
(?OBJ)
(
and
(
patient
?TRANS ?OBJ)
(
monetaryValue
?OBJ ?AMOUNT))))
Merge.kif 11857-11862
transactionAmount
Transacao Financeira
and
Medida de Divisa
Fisico
Fisico
e' um
patient
de
Transacao Financeira
o
valor
de
Fisico
e'
Medida de Divisa
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