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
accountHolder
Sigma KEE - accountHolder
accountHolder
appearance as argument number 1
(
documentation
accountHolder
EnglishLanguage
"(
accountHolder
?Account ?Agent) means that ?Agent is the account holder of the
FinancialAccount
?Account.")
FinancialOntology.kif 251-252
(
domain
accountHolder
1
FinancialAccount
)
FinancialOntology.kif 249-249
域
帳戶持有人
, 1 and
金融賬戶
(
domain
accountHolder
2
CognitiveAgent
)
FinancialOntology.kif 250-250
域
帳戶持有人
, 2 and
CognitiveAgent
(
instance
accountHolder
BinaryPredicate
)
FinancialOntology.kif 248-248
例
帳戶持有人
and
BinaryPredicate
(
subrelation
accountHolder
partyToAgreement
)
FinancialOntology.kif 247-247
子關係
帳戶持有人
and
協議的一方
appearance as argument number 2
(
format
ChineseLanguage
accountHolder
"%2 持有 account %1 ")
domainEnglishFormat.kif 2682-2682
(
format
ChineseTraditionalLanguage
accountHolder
"%2 持有 account %1 ")
domainEnglishFormat.kif 2681-2681
(
format
EnglishLanguage
accountHolder
"%2 holds account %1")
domainEnglishFormat.kif 2680-2680
(
termFormat
ChineseLanguage
accountHolder
"帐户持有人")
domainEnglishFormat.kif 5250-5250
(
termFormat
ChineseTraditionalLanguage
accountHolder
"帳戶持有人")
domainEnglishFormat.kif 5249-5249
(
termFormat
EnglishLanguage
accountHolder
"account holder")
domainEnglishFormat.kif 5248-5248
antecedent
(<=>
(
and
(
accountHolder
?Account ?Agent)
(
instance
?Agent
Corporation
))
(
instance
?Account
CorporateAccount
))
FinancialOntology.kif 1018-1022
CognitiveAgent
持有
account
金融賬戶
例
CognitiveAgent
and
Corporation
例
金融賬戶
and
企業帳戶
(<=>
(
and
(
accountHolder
?Account ?Agent)
(
instance
?Agent
Human
))
(
instance
?Account
PersonalAccount
))
FinancialOntology.kif 996-1000
CognitiveAgent
持有
account
金融賬戶
例
CognitiveAgent
and
Human
例
金融賬戶
and
個人賬戶
(<=>
(
and
(
instance
?Account
PersonalAccount
)
(
greaterThan
(
CardinalityFn
(
KappaFn
?Agent
(
accountHolder
?Account ?Agent))) 1))
(
instance
?Account
JointAccount
))
FinancialOntology.kif 1007-1011
例
Entity
and
個人賬戶
比較多
基數
卡帕
SymbolicString
and
SymbolicString
持有
account
Entity
and 1
例
Entity
and
聯名賬戶
(=>
(
and
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
customer
?Agent ?Bank))
FinancialOntology.kif 3621-3625
CognitiveAgent
持有
account
金融賬戶
金融賬戶
是被
金融機構
held
金融機構
是
CognitiveAgent
的
customer
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
FinancialOntology.kif 655-667
金融賬戶
對於
TimePosition
到期的
amount
CurrencyMeasure
CognitiveAgent
持有
account
金融賬戶
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
付款
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
金融賬戶
的
currency
起源
SymbolicString
and
金融賬戶
的
currency
日期
SymbolicString
and
entity
之前或相等
結束
entity
and
開始
TimePosition
and
CognitiveAgent
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountAt
?Account ?Organization)
(
accountHolder
?Account ?Agent)
(
interestEarned
?Account ?Interest ?Period))
(
exists
(?Payment)
(
and
(
origin
?Payment ?Agent)
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Organization))))
FinancialOntology.kif 1212-1222
例
金融賬戶
and
信用賬戶
金融賬戶
是被
金融機構
held
CognitiveAgent
持有
account
金融賬戶
金融賬戶
是 對於 %3 的賺取
interest
FinancialTransaction
起源
FinancialTransaction
and
CognitiveAgent
利益
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
金融機構
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountHolder
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1224-1233
例
金融賬戶
and
信用賬戶
CognitiveAgent
持有
account
金融賬戶
RealNumber
是
金融賬戶
的
principal
總額
TimeInterval
是
金融賬戶
的
agreement
週期
金融賬戶
是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
利益
持有義務
卡帕
SymbolicString
and
RealNumber
是
SymbolicString
的
transaction
總額 and
CognitiveAgent
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
exists
(?Debt)
(
and
(
property
?Debt
Liability
)
(
partyToAgreement
?Debt ?Agent)
(
partyToAgreement
?Debt ?Bank))))
FinancialOntology.kif 1162-1171
例
金融賬戶
and
責任賬戶
協議
持有
account
金融賬戶
金融賬戶
是被
協議
held
CognitiveAgent
屬性
CognitiveAgent
and
責任
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
(=>
(
and
(
instance
?Account
SavingsAccount
)
(
accountHolder
?Account ?Agent)
(
interestEarned
?Account ?Interest ?Period))
(
exists
(?Payment)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Agent))))
FinancialOntology.kif 1043-1052
例
金融賬戶
and
儲蓄賬戶
CognitiveAgent
持有
account
金融賬戶
金融賬戶
是 對於 %3 的賺取
interest
FinancialTransaction
目的地
FinancialTransaction
and
金融賬戶
的
currency
利益
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
CognitiveAgent
(=>
(
and
(
instance
?P
PensionPlan
)
(
accountHolder
?P ?A)
(
employs
?O ?A))
(
financialAccount
?P ?O))
FinancialOntology.kif 1180-1185
例
金融賬戶
and
養老金計劃
CognitiveAgent
持有
account
金融賬戶
採用
金融公司
and
CognitiveAgent
金融公司
是
金融賬戶
的
financial
帳號
(=>
(
and
(
instance
?PSP
ProfitSharingPlan
)
(
accountHolder
?PSP ?H)
(
employs
?O ?H)
(
profit
?A
(
MeasureFn
?P ?U))
(
instance
?U
UnitOfCurrency
)
(
agent
?A ?O))
(
exists
(?C ?PAY)
(
and
(
instance
?PAY
FinancialTransaction
)
(
transactionAmount
?PAY
(
MeasureFn
?C ?U))
(
lessThan
?C ?P)
(
destination
?PAY ?PSP))))
FinancialOntology.kif 1192-1207
例
金融賬戶
and
利潤分享計劃
CognitiveAgent
持有
account
金融賬戶
採用
AutonomousAgent
and
CognitiveAgent
從
FinancialTransaction
的
profit
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
agent
FinancialTransaction
and
AutonomousAgent
RealNumber
RealNumber
AY
例
RealNumber
AY and
FinancialTransaction
測量
RealNumber
and
UnitOfMeasure
是
RealNumber
AY 的
transaction
總額
少於
RealNumber
and
RealNumber
目的地
RealNumber
AY and
金融賬戶
(=>
(
and
(
instance
?Using
UsingAnAccount
)
(
patient
?Using ?Account)
(
accountHolder
?Account ?Agent))
(
agent
?Using ?Agent))
FinancialOntology.kif 311-316
例
Process
and
使用帳戶
患者
Process
and
金融賬戶
CognitiveAgent
持有
account
金融賬戶
agent
Process
and
CognitiveAgent
consequent
(<=>
(
and
(
instance
?Account
FinancialAccount
)
(
possesses
?Agent ?Asset)
(
equal
?Account
(
AccountFn
?Asset)))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 2321-2326
例
金融賬戶
and
金融賬戶
擁有
CognitiveAgent
and
金融資產
等於
金融賬戶
and
金融資產
的帳號
CognitiveAgent
持有
account
金融賬戶
(=>
(
and
(
instance
?Card
CreditCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
CreditCardAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 218-226
例
銀行卡
and
信用卡
擁有
CognitiveAgent
and
銀行卡
金融賬戶
例
金融賬戶
and
信用卡帳戶
金融賬戶
是
銀行卡
的
card
帳戶
CognitiveAgent
持有
account
金融賬戶
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
DepositAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 203-211
例
銀行卡
and
金融卡
擁有
CognitiveAgent
and
銀行卡
金融賬戶
例
金融賬戶
and
存款賬戶
金融賬戶
是
銀行卡
的
card
帳戶
CognitiveAgent
持有
account
金融賬戶
(=>
(
and
(
instance
?Drawing
DrawingACheck
)
(
patient
?Drawing ?Check)
(
agent
?Drawing ?Agent)
(
checkAccount
?Check ?Account))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 321-327
例
Process
and
畫一張支票
患者
Process
and
校驗
agent
Process
and
CognitiveAgent
金融賬戶
是
校驗
的
check
帳戶
CognitiveAgent
持有
account
金融賬戶
(=>
(
and
(
instance
?Opening
OpeningAnAccount
)
(
eventLocated
?Opening ?Bank)
(
instance
?Bank
FinancialOrganization
)
(
agent
?Opening ?Agent)
(
equal
(
WhenFn
?Opening) ?OpeningTime))
(
exists
(?Account ?AccountPeriod)
(
and
(
agreementPeriod
?Account ?AccountPeriod)
(
meetsTemporally
?OpeningTime ?AccountPeriod)
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 293-306
例
Process
and
開戶
Process
是
located
在
金融機構
例
金融機構
and
金融機構
agent
Process
and
CognitiveAgent
等於
何時
Process
and
Process
Time
金融賬戶
金融賬戶
Period
金融賬戶
Period 是
金融賬戶
的
agreement
週期
短暫相遇
Process
Time and
金融賬戶
Period
例
金融賬戶
and
金融賬戶
金融賬戶
是被
金融機構
held
CognitiveAgent
持有
account
金融賬戶
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