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 7822-7824
(
documentation
monetaryValue
JapaneseLanguage
"
BinaryPredicate
は、
Object
または
Process
を
CurrencyMeasure
のインスタンスとして表される値に関連付ける。")
japanese_format.kif 1388-1389
(
domain
monetaryValue
1
Physical
)
Merge.kif 7819-7819
Le nombre 1 argument de
monetaryValue
est une
instance
de
physique
(
domain
monetaryValue
2
CurrencyMeasure
)
Merge.kif 7820-7820
Le nombre 2 argument de
monetaryValue
est une
instance
de
mesure de devise
(
instance
monetaryValue
AsymmetricRelation
)
Merge.kif 7817-7817
monetaryValue
est une
instance
de
relation asym�trique
(
instance
monetaryValue
BinaryPredicate
)
Merge.kif 7818-7818
monetaryValue
est une
instance
de
pr�dicat binaire
(
instance
monetaryValue
SingleValuedRelation
)
Merge.kif 7816-7816
monetaryValue
est une
instance
de
relation simple
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
est une
sous
-relation de
monetaryValue
(
subrelation
finalPrice
monetaryValue
)
FinancialOntology.kif 3476-3476
finalPrice
est une
sous
-relation de
monetaryValue
(
termFormat
ChineseLanguage
monetaryValue
"货币价值")
chinese_format.kif 628-628
(
termFormat
ChineseTraditionalLanguage
monetaryValue
"貨幣價值")
domainEnglishFormat.kif 38356-38356
(
termFormat
EnglishLanguage
monetaryValue
"monetary value")
domainEnglishFormat.kif 38355-38355
(
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
Processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
objet
physique
est un
patient
de
processus
valeur
de
physique
est
mesure de devise
financial transaction
financial transaction
est un
sous
-processus de
processus
financial transaction
est une
instance
de
Payment
transactionAmount
financial transaction
and
mesure de devise
financial transaction
a pour
origine
AutonomousAgent
financial transaction
aboutit
�
objet
(=>
(
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
nombre r�el
unit� de mesure
(s)
loanForPurchase
Loan
and
objet
valeur
de
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
nombre r�el
+
nombre r�el
)
originalBalance
Loan
and
nombre r�el
unit� de mesure
(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
Processus
est une
instance
de
DepositingACheck
Check
est un
patient
de
processus
Check
est une
instance
de
Check
checkAccount
Check
and
FinancialAccount
valeur
de
Check
est
mesure de devise
financial transaction
financial transaction
est une
instance
de
Deposit
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
mesure de devise
(=>
(
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
valeur
de
Check
est
mesure de devise
checkAccount
Check
and
FinancialAccount
processus
est une
instance
de
ProcessingACheck
Check
est un
patient
de
processus
temps
d'existence de
processus
est
processus
Time
financial transaction
financial transaction
Time
financial transaction
est une
instance
de
Withdrawal
Check
est un
instrument
pour
financial transaction
temps
d'existence de
financial transaction
est
financial transaction
Time
processus
Time
rencontre
financial transaction
Time
transactionAmount
financial transaction
and
mesure de devise
financial transaction
a pour
origine
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
valeur
de
objet
est
mesure de devise
processus
est une
instance
de
ProcessingACheck
objet
est un
patient
de
processus
processus
aboutit
�
CurrencyFn
FinancialAccount
FinancialAccount
est une
instance
de
FinancialAccount
temps
d'existence de
processus
est
processus
Time
financial transaction
financial transaction
Time
financial transaction
est une
instance
de
Deposit
objet
est un
instrument
pour
financial transaction
temps
d'existence de
financial transaction
est
financial transaction
Time
processus
Time
rencontre
financial transaction
Time
transactionAmount
financial transaction
and
mesure de devise
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
(=>
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT)
(
equal
(
WealthFn
?PERSON) ?AMOUNT))
Merge.kif 7843-7847
valeur
de
appartenir
�
AutonomousAgent
est
mesure de devise
valeur
de ce que poss�de
AutonomousAgent
est
mesure de devise
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
est un
attribut
de
AutonomousAgent
valeur
de ce que poss�de
AutonomousAgent
est
mesure de devise
l'argument
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Zakat
entit�
est une
instance
de
ann�e
entit�
prend place
pendant
temps
d'existence de
AutonomousAgent
FullyFormed
est un
attribut
de
AutonomousAgent
pendant
entit�
entit�
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
entit�
valeur
de
entit�
est
entit�
entit�
(s)
entit�
est une
instance
de
UnitOfCurrency
entit�
est
plus
grand
que
mesure de devise
+ 0.025 a la
force
modale
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 16227-16239
Entit�
est une
instance
de
LegalAward
entit�
inclut une
r
�f�rence �
processus
processus
est une
instance
de
action l�gale
processus
est un
agent
de
agent cognitif
entit�
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
entit�
est une
instance
de
obtenir
agent cognitif
exp
�rimente
entit�
entit�
est un
patient
de
entit�
valeur
de
entit�
est
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 23885-23902
Processus
est une
instance
de
Saving
objet
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
nombre r�el
nombre r�el
and
entit�
entit�
est une
instance
de
UnitOfCurrency
valeur
de
objet
est
nombre r�el
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
valeur
de
objet
est
nombre r�el
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
AutonomousAgent
poss
�de
objet
nombre r�el
est
moins
que
nombre r�el
(=>
(
equal
(
WealthFn
?PERSON) ?AMOUNT)
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT))
Merge.kif 7837-7841
Valeur
de ce que poss�de
AutonomousAgent
est
mesure de devise
valeur
de
appartenir
�
AutonomousAgent
est
mesure de devise
(=>
(
financialAsset
?P ?A)
(
exists
(?V)
(
monetaryValue
?A ?V)))
Mid-level-ontology.kif 23913-23916
financialAsset
AutonomousAgent
and
objet
mesure de devise
valeur
de
objet
est
mesure de devise
(=>
(
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
,
organisation
,
mesure de devise
and
interval temporel
valeur
de
physique
est
mesure de devise
physique
est une
instance
de la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
,
organisation
,
mesure de devise
and
interval temporel
valeur
de
physique
est
mesure de devise
physique
est une
instance
de la
classe
d�crite par
cha�ne sympbolique
(=>
(
instance
?Asset
FinancialAsset
)
(
exists
(?Value)
(
monetaryValue
?Asset ?Value)))
FinancialOntology.kif 47-50
Physique
est une
instance
de
FinancialAsset
mesure de devise
valeur
de
physique
est
mesure de devise
(=>
(
instance
?CURRENCY
Currency
)
(
exists
(?MEASURE)
(
monetaryValue
?CURRENCY ?MEASURE)))
Merge.kif 15700-15703
Physique
est une
instance
de
Currency
mesure de devise
valeur
de
physique
est
mesure de devise
(=>
(
instance
?Cash
Currency
)
(
exists
(?Value)
(
monetaryValue
?Cash ?Value)))
FinancialOntology.kif 3481-3484
Physique
est une
instance
de
Currency
mesure de devise
valeur
de
physique
est
mesure de devise
(=>
(
instance
?Check
Check
)
(
exists
(?Value)
(
monetaryValue
?Check ?Value)))
FinancialOntology.kif 94-97
Physique
est une
instance
de
Check
mesure de devise
valeur
de
physique
est
mesure de devise
(=>
(
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
Processus
est une
instance
de
CurrencyExchangeService
entit�
entit�
,
entit�
,
entit�
,
AutonomousAgent
,
entit�
,
entit�
,
entit�
and
entit�
processus
est un
agent
de
AutonomousAgent
entit�
est
entit�
entit�
est une
instance
de
mesure de devise
entit�
est une
instance
de
mesure de devise
valeur
de
entit�
est
entit�
AutonomousAgent
poss
�de
entit�
entit�
est
entit�
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
valeur
de
entit�
est
entit�
AutonomousAgent
poss
�de
entit�
AutonomousAgent
ne
poss
�de %n{pas}
entit�
entit�
est
entit�
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
transactionAmount
?TRANS ?AMOUNT)
(
exists
(?OBJ)
(
and
(
patient
?TRANS ?OBJ)
(
monetaryValue
?OBJ ?AMOUNT))))
Merge.kif 11903-11908
transactionAmount
financial transaction
and
mesure de devise
physique
physique
est un
patient
de
financial transaction
valeur
de
physique
est
mesure de devise
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