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
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 7786-7788
(
documentation
monetaryValue
JapaneseLanguage
"
BinaryPredicate
は、
Object
または
Process
を
CurrencyMeasure
のインスタンスとして表される値に関連付ける。")
japanese_format.kif 1388-1389
(
domain
monetaryValue
1
Physical
)
Merge.kif 7783-7783
Il numero 1 argomenti di
monetaryValue
è un
istanza
di
Entit�Concreta
(
domain
monetaryValue
2
CurrencyMeasure
)
Merge.kif 7784-7784
Il numero 2 argomenti di
monetaryValue
è un
istanza
di
MisuraMonetaria
(
instance
monetaryValue
AsymmetricRelation
)
Merge.kif 7781-7781
monetaryValue
è un'
istanza
di
RelazioneAsimmetrica
(
instance
monetaryValue
BinaryPredicate
)
Merge.kif 7782-7782
monetaryValue
è un'
istanza
di
PredicatoBinario
(
instance
monetaryValue
SingleValuedRelation
)
Merge.kif 7780-7780
monetaryValue
è un'
istanza
di
RelazioneMonovalente
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
è una
sottorelazione
di
monetaryValue
(
subrelation
finalPrice
monetaryValue
)
FinancialOntology.kif 3476-3476
finalPrice
è una
sottorelazione
di
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
è un
agente
di
AutonomousAgent
Processo
si
originas in
Oggetto
Entit�Concreta
è un
paziente
di
Processo
valore
di
Entit�Concreta
è
MisuraMonetaria
ScambioFinanziario
ScambioFinanziario
è un
sottoprocesso
di
Processo
ScambioFinanziario
è un'
istanza
di
Payment
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
ScambioFinanziario
si
originas in
AutonomousAgent
ScambioFinanziario
fine
s in
Oggetto
(=>
(
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
NumeroReale
Unit�DiMisura
(s
loanForPurchase
Loan
and
Oggetto
valore
di
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
originalBalance
Loan
and
NumeroReale
Unit�DiMisura
(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
è un'
istanza
di
DepositingACheck
Check
è un
paziente
di
Processo
Check
è un'
istanza
di
Check
checkAccount
Check
and
FinancialAccount
valore
di
Check
è
MisuraMonetaria
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Deposit
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
(=>
(
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
valore
di
Check
è
MisuraMonetaria
checkAccount
Check
and
FinancialAccount
Processo
è un'
istanza
di
ProcessingACheck
Check
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
Processo
Time
ScambioFinanziario
ScambioFinanziario
Time
ScambioFinanziario
è un'
istanza
di
Withdrawal
Check
è uno
strumento
per
ScambioFinanziario
il
tempo
di esistenza di
ScambioFinanziario
is
uguale
a
ScambioFinanziario
Time
Processo
Time
incontra
s
ScambioFinanziario
Time
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
ScambioFinanziario
si
originas in
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
valore
di
Oggetto
è
MisuraMonetaria
Processo
è un'
istanza
di
ProcessingACheck
Oggetto
è un
paziente
di
Processo
Processo
fine
s in
CurrencyFn
FinancialAccount
FinancialAccount
è un'
istanza
di
FinancialAccount
il
tempo
di esistenza di
Processo
is
uguale
a
Processo
Time
ScambioFinanziario
ScambioFinanziario
Time
ScambioFinanziario
è un'
istanza
di
Deposit
Oggetto
è uno
strumento
per
ScambioFinanziario
il
tempo
di esistenza di
ScambioFinanziario
is
uguale
a
ScambioFinanziario
Time
Processo
Time
incontra
s
ScambioFinanziario
Time
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
(=>
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT)
(
equal
(
WealthFn
?PERSON) ?AMOUNT))
Merge.kif 7807-7811
valore
di
appartenenze
di
AutonomousAgent
è
MisuraMonetaria
valore
delle appartenenze di
AutonomousAgent
is
uguale
a
MisuraMonetaria
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
attribute
AutonomousAgent
and
Muslim
valore
delle appartenenze di
AutonomousAgent
is
uguale
a
MisuraMonetaria
l'affermazione
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Zakat
Entit�
è un'
istanza
di
Anno
Entit�
has luogo
durante
il
tempo
di esistenza di
AutonomousAgent
attribute
AutonomousAgent
and
FullyFormed
vales
durante
Entit�
Entit�
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Entit�
valore
di
Entit�
è
Entit�
Entit�
(s
Entit�
è un'
istanza
di
UnitOfCurrency
Entit�
è
pi
ù grande di
MisuraMonetaria
+ 0.025 ha il modello di forza di
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
Entit�
è un'
istanza
di
LegalAward
Entit�
include un
riferimento
a
Processo
Processo
è un'
istanza
di
AzioneLegale
Processo
è un
agente
di
AgenteCognitivo
Entit�
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Ottenere
AgenteCognitivo
esperisce
s
Entit�
Entit�
è un
paziente
di
Entit�
valore
di
Entit�
è
Entit�
(=>
(
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
è un'
istanza
di
Saving
Oggetto
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
NumeroReale
NumeroReale
and
Entit�
Entit�
è un'
istanza
di
UnitOfCurrency
valore
di
Oggetto
è
NumeroReale
Entit�
(s vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
valore
di
Oggetto
è
NumeroReale
Entit�
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
AutonomousAgent
possiede
es
Oggetto
NumeroReale
è
meno
di
NumeroReale
(=>
(
equal
(
WealthFn
?PERSON) ?AMOUNT)
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT))
Merge.kif 7801-7805
Valore
delle appartenenze di
AutonomousAgent
is
uguale
a
MisuraMonetaria
valore
di
appartenenze
di
AutonomousAgent
è
MisuraMonetaria
(=>
(
financialAsset
?P ?A)
(
exists
(?V)
(
monetaryValue
?A ?V)))
Mid-level-ontology.kif 23856-23859
financialAsset
AutonomousAgent
and
Oggetto
MisuraMonetaria
valore
di
Oggetto
è
MisuraMonetaria
(=>
(
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
,
Organizzazione
,
MisuraMonetaria
and
IntervalloTemporale
valore
di
Entit�Concreta
è
MisuraMonetaria
Entit�Concreta
è un'
istanza
di la
classe
descritta da
Stringa
(=>
(
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
,
Organizzazione
,
MisuraMonetaria
and
IntervalloTemporale
valore
di
Entit�Concreta
è
MisuraMonetaria
Entit�Concreta
è un'
istanza
di la
classe
descritta da
Stringa
(=>
(
instance
?Asset
FinancialAsset
)
(
exists
(?Value)
(
monetaryValue
?Asset ?Value)))
FinancialOntology.kif 47-50
Entit�Concreta
è un'
istanza
di
FinancialAsset
MisuraMonetaria
valore
di
Entit�Concreta
è
MisuraMonetaria
(=>
(
instance
?CURRENCY
Currency
)
(
exists
(?MEASURE)
(
monetaryValue
?CURRENCY ?MEASURE)))
Merge.kif 15654-15657
Entit�Concreta
è un'
istanza
di
Currency
MisuraMonetaria
valore
di
Entit�Concreta
è
MisuraMonetaria
(=>
(
instance
?Cash
Currency
)
(
exists
(?Value)
(
monetaryValue
?Cash ?Value)))
FinancialOntology.kif 3481-3484
Entit�Concreta
è un'
istanza
di
Currency
MisuraMonetaria
valore
di
Entit�Concreta
è
MisuraMonetaria
(=>
(
instance
?Check
Check
)
(
exists
(?Value)
(
monetaryValue
?Check ?Value)))
FinancialOntology.kif 94-97
Entit�Concreta
è un'
istanza
di
Check
MisuraMonetaria
valore
di
Entit�Concreta
è
MisuraMonetaria
(=>
(
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
è un'
istanza
di
CurrencyExchangeService
Entit�
Entit�
,
Entit�
,
Entit�
,
AutonomousAgent
,
Entit�
,
Entit�
,
Entit�
and
Entit�
Processo
è un
agente
di
AutonomousAgent
Entit�
is
uguale
a
Entit�
Entit�
è un'
istanza
di
MisuraMonetaria
Entit�
è un'
istanza
di
MisuraMonetaria
valore
di
Entit�
è
Entit�
AutonomousAgent
possiede
es
Entit�
Entit�
is
uguale
a
Entit�
Entit�
(s vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
valore
di
Entit�
è
Entit�
AutonomousAgent
possiede
es
Entit�
AutonomousAgent
non
possiede
Entit�
Entit�
is
uguale
a
Entit�
Entit�
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
transactionAmount
?TRANS ?AMOUNT)
(
exists
(?OBJ)
(
and
(
patient
?TRANS ?OBJ)
(
monetaryValue
?OBJ ?AMOUNT))))
Merge.kif 11857-11862
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
Entit�Concreta
Entit�Concreta
è un
paziente
di
ScambioFinanziario
valore
di
Entit�Concreta
è
MisuraMonetaria
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