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 7832-7834
(
documentation
monetaryValue
JapaneseLanguage
"
BinaryPredicate
は、
Object
または
Process
を
CurrencyMeasure
のインスタンスとして表される値に関連付ける。")
japanese_format.kif 1388-1389
(
domain
monetaryValue
1
Physical
)
Merge.kif 7829-7829
域
貨幣價值
, 1 and
Physical
(
domain
monetaryValue
2
CurrencyMeasure
)
Merge.kif 7830-7830
域
貨幣價值
, 2 and
CurrencyMeasure
(
instance
monetaryValue
AsymmetricRelation
)
Merge.kif 7827-7827
例
貨幣價值
and
AsymmetricRelation
(
instance
monetaryValue
BinaryPredicate
)
Merge.kif 7828-7828
例
貨幣價值
and
BinaryPredicate
(
instance
monetaryValue
SingleValuedRelation
)
Merge.kif 7826-7826
例
貨幣價值
and
SingleValuedRelation
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
子關係
評估價值
and
貨幣價值
(
subrelation
finalPrice
monetaryValue
)
FinancialOntology.kif 3476-3476
子關係
最終價格
and
貨幣價值
(
termFormat
ChineseLanguage
monetaryValue
"货币价值")
chinese_format.kif 628-628
子關係
最終價格
and
貨幣價值
(
termFormat
ChineseTraditionalLanguage
monetaryValue
"貨幣價值")
domainEnglishFormat.kif 38385-38385
子關係
最終價格
and
貨幣價值
(
termFormat
EnglishLanguage
monetaryValue
"monetary value")
domainEnglishFormat.kif 38384-38384
子關係
最終價格
and
貨幣價值
(
termFormat
tg
monetaryValue
"halaga ng salapi")
relations-tg.txt 372-372
子關係
最終價格
and
貨幣價值
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
agent
Process
and
AutonomousAgent
起源
Process
and
Object
患者
Process
and
Physical
貨幣價值
Physical
and
CurrencyMeasure
FinancialTransaction
子過程
FinancialTransaction
and
Process
例
FinancialTransaction
and
付款
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
起源
FinancialTransaction
and
AutonomousAgent
目的地
FinancialTransaction
and
Object
(=>
(
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
測量
RealNumber
and
UnitOfMeasure
是
貸款
的
down
費用
Object
是給
貸款
購買的
loan
貨幣價值
Object
and
測量
RealNumber
and
UnitOfMeasure
等於
RealNumber
and
減法
RealNumber
and
RealNumber
測量
RealNumber
and
UnitOfMeasure
是
貸款
的
original
金額
(=>
(
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
例
Process
and
存款支票
患者
Process
and
校驗
例
校驗
and
校驗
金融賬戶
是
校驗
的
check
帳戶
貨幣價值
校驗
and
CurrencyMeasure
FinancialTransaction
例
FinancialTransaction
and
存款
目的地
FinancialTransaction
and
金融賬戶
的
currency
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
(=>
(
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
貨幣價值
校驗
and
CurrencyMeasure
金融賬戶
是
校驗
的
check
帳戶
例
Process
and
處理檢查
患者
Process
and
校驗
等於
何時
Process
and
Process
Time
FinancialTransaction
FinancialTransaction
Time
例
FinancialTransaction
and
退出
儀器
FinancialTransaction
and
校驗
等於
何時
FinancialTransaction
and
FinancialTransaction
Time
短暫相遇
Process
Time and
FinancialTransaction
Time
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
起源
FinancialTransaction
and
金融賬戶
(=>
(
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
貨幣價值
Object
and
CurrencyMeasure
例
Process
and
處理檢查
患者
Process
and
Object
目的地
Process
and
金融賬戶
的
currency
例
金融賬戶
and
金融賬戶
等於
何時
Process
and
Process
Time
FinancialTransaction
FinancialTransaction
Time
例
FinancialTransaction
and
存款
儀器
FinancialTransaction
and
Object
等於
何時
FinancialTransaction
and
FinancialTransaction
Time
短暫相遇
Process
Time and
FinancialTransaction
Time
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
金融賬戶
的
currency
(=>
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT)
(
equal
(
WealthFn
?PERSON) ?AMOUNT))
Merge.kif 7853-7857
貨幣價值
屬性
AutonomousAgent
and
CurrencyMeasure
等於
財富
AutonomousAgent
and
CurrencyMeasure
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
穆斯林
等於
財富
AutonomousAgent
and
CurrencyMeasure
模態屬性
entity
entity
,
entity
,
entity
and
entity
例
entity
and
天課
例
entity
and
年
期間
entity
and
何時
AutonomousAgent
持有期間
entity
and
attribute
AutonomousAgent
and
完全成型
agent
entity
and
AutonomousAgent
患者
entity
and
entity
貨幣價值
entity
and
測量
entity
and
entity
例
entity
and
UnitOfCurrency
比較多
entity
and
乘法
CurrencyMeasure
and 0.025 and
義務
(=>
(
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 16450-16462
例
Entity
and
法律獎勵
參照
Entity
and
Process
例
Process
and
LegalAction
agent
Process
and
CognitiveAgent
賦予權利
entity
entity
and
entity
例
entity
and
Getting
體驗者
entity
and
CognitiveAgent
患者
entity
and
entity
貨幣價值
entity
and
entity
,
Entity
and
CognitiveAgent
(=>
(
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 24148-24165
例
Process
and
保存
患者
Process
and
Object
agent
Process
and
AutonomousAgent
RealNumber
RealNumber
and
Entity
例
Entity
and
UnitOfCurrency
持有期間
開始
何時
Process
and
貨幣價值
Object
and
測量
RealNumber
and
Entity
持有期間
結束
何時
Process
and
貨幣價值
Object
and
測量
RealNumber
and
Entity
擁有
AutonomousAgent
and
Object
少於
RealNumber
and
RealNumber
(=>
(
equal
(
WealthFn
?PERSON) ?AMOUNT)
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT))
Merge.kif 7847-7851
等於
財富
AutonomousAgent
and
CurrencyMeasure
貨幣價值
屬性
AutonomousAgent
and
CurrencyMeasure
(=>
(
financialAsset
?P ?A)
(
exists
(?V)
(
monetaryValue
?A ?V)))
Mid-level-ontology.kif 24176-24179
AutonomousAgent
有
asset
Object
CurrencyMeasure
貨幣價值
Object
and
CurrencyMeasure
(=>
(
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
每個東西的
value
由
AutonomousAgent
購買的 對於
Organization
在期間
TimeInterval
是
CurrencyMeasure
貨幣價值
Physical
and
CurrencyMeasure
例
Physical
and
卡帕
SymbolicString
and
例
entity
and
Buying
例
entity
and
SymbolicString
agent
entity
and
AutonomousAgent
患者
entity
and
entity
患者
entity
and
Organization
期間
entity
and
TimeInterval
(=>
(
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
,
Organization
,
CurrencyMeasure
and
TimeInterval
貨幣價值
Physical
and
CurrencyMeasure
例
Physical
and
卡帕
SymbolicString
and
例
entity
and
Selling
例
entity
and
SymbolicString
agent
entity
and
AutonomousAgent
患者
entity
and
entity
患者
entity
and
Organization
期間
entity
and
TimeInterval
(=>
(
instance
?Asset
FinancialAsset
)
(
exists
(?Value)
(
monetaryValue
?Asset ?Value)))
FinancialOntology.kif 47-50
例
Physical
and
金融資產
CurrencyMeasure
貨幣價值
Physical
and
CurrencyMeasure
(=>
(
instance
?CURRENCY
Currency
)
(
exists
(?MEASURE)
(
monetaryValue
?CURRENCY ?MEASURE)))
Merge.kif 15706-15709
例
Physical
and
貨幣
CurrencyMeasure
貨幣價值
Physical
and
CurrencyMeasure
(=>
(
instance
?Cash
Currency
)
(
exists
(?Value)
(
monetaryValue
?Cash ?Value)))
FinancialOntology.kif 3481-3484
例
Physical
and
貨幣
CurrencyMeasure
貨幣價值
Physical
and
CurrencyMeasure
(=>
(
instance
?Check
Check
)
(
exists
(?Value)
(
monetaryValue
?Check ?Value)))
FinancialOntology.kif 94-97
例
Physical
and
校驗
CurrencyMeasure
貨幣價值
Physical
and
CurrencyMeasure
(=>
(
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
例
Process
and
CurrencyExchangeService
Entity
entity
,
Entity
,
entity
,
AutonomousAgent
,
entity
,
entity
,
entity
and
entity
agent
Process
and
AutonomousAgent
等於
entity
and
entity
例
Entity
and
CurrencyMeasure
例
Entity
and
CurrencyMeasure
持有期間
開始
何時
Process
and
貨幣價值
entity
and
Entity
擁有
AutonomousAgent
and
entity
等於
Entity
and
測量
entity
and
entity
持有期間
結束
何時
Process
and
貨幣價值
entity
and
Entity
擁有
AutonomousAgent
and
entity
擁有
AutonomousAgent
and
entity
等於
Entity
and
測量
entity
and
entity
(=>
(
transactionAmount
?TRANS ?AMOUNT)
(
exists
(?OBJ)
(
and
(
patient
?TRANS ?OBJ)
(
monetaryValue
?OBJ ?AMOUNT))))
Merge.kif 11913-11918
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
Physical
患者
FinancialTransaction
and
Physical
貨幣價值
Physical
and
CurrencyMeasure
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