Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 253-254
(
domain
accountHolder
1
FinancialAccount
)
FinancialOntology.kif 251-251
The number 1 argument of
account holder
is an
instance
of
financial account
(
domain
accountHolder
2
CognitiveAgent
)
FinancialOntology.kif 252-252
The number 2 argument of
account holder
is an
instance
of
cognitive agent
(
instance
accountHolder
BinaryPredicate
)
FinancialOntology.kif 250-250
account holder
is an
instance
of
binary predicate
(
subrelation
accountHolder
partyToAgreement
)
FinancialOntology.kif 249-249
account holder
is a
subrelation
of
party to agreement
appearance as argument number 2
(
format
ChineseLanguage
accountHolder
"%2 持有 account %1 ")
domainEnglishFormat.kif 2678-2678
(
format
ChineseTraditionalLanguage
accountHolder
"%2 持有 account %1 ")
domainEnglishFormat.kif 2677-2677
(
format
EnglishLanguage
accountHolder
"%2 holds account %1")
domainEnglishFormat.kif 2676-2676
(
termFormat
ChineseLanguage
accountHolder
"帐户持有人")
domainEnglishFormat.kif 5259-5259
(
termFormat
ChineseTraditionalLanguage
accountHolder
"帳戶持有人")
domainEnglishFormat.kif 5258-5258
(
termFormat
EnglishLanguage
accountHolder
"account holder")
domainEnglishFormat.kif 5257-5257
antecedent
(<=>
(
and
(
accountHolder
?Account ?Agent)
(
instance
?Agent
Corporation
))
(
instance
?Account
CorporateAccount
))
FinancialOntology.kif 1020-1024
A cognitive agent
holds
account
a financial account
and
the cognitive agent
is an
instance
of
corporation
if and only if
the financial account
is an
instance
of
corporate account
(<=>
(
and
(
accountHolder
?Account ?Agent)
(
instance
?Agent
Human
))
(
instance
?Account
PersonalAccount
))
FinancialOntology.kif 998-1002
A cognitive agent
holds
account
a financial account
and
the cognitive agent
is an
instance
of
human
if and only if
the financial account
is an
instance
of
personal account
(<=>
(
and
(
instance
?Account
PersonalAccount
)
(
greaterThan
(
CardinalityFn
(
KappaFn
?Agent
(
accountHolder
?Account ?Agent))) 1))
(
instance
?Account
JointAccount
))
FinancialOntology.kif 1009-1013
An entity
is an
instance
of
personal account
and the number of
instances
in the
class
described by
a symbolic string
is
greater
than 1 if and only if
the entity
is an
instance
of
joint account
(=>
(
and
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
customer
?Agent ?Bank))
FinancialOntology.kif 3639-3643
If
a cognitive agent
holds
account
a financial account
and
the financial account
is
held
by
a financial organization
,
then
the financial organization
is a
customer
of
the cognitive agent
(=>
(
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 657-669
If
a financial account
amount
due
a currency measure
for
a time position
and
a cognitive agent
holds
account
the financial account
,
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
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 1228-1238
If
a financial account
is an
instance
of
credit account
and
the financial account
is
held
by
a financial organization
and
a cognitive agent
holds
account
the financial account
and
the financial account
is
interest
earned
an interest
for
a time interval
,
then there exists
a financial transaction
such that
the financial transaction
originate
s at
the cognitive agent
and
the interest
is a
transaction
amount of
the financial transaction
and
the financial transaction
end
s up at
the financial organization
(=>
(
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 1240-1249
If
a financial account
is an
instance
of
credit account
and
a cognitive agent
holds
account
the financial account
and
a real number
is a
principal
amount of
the financial account
and
a time interval
is an
agreement
period of
the financial account
and
the financial account
is
interest
earned
an interest
for
the time interval
and
equal
another real number
and (
the real number
and
the interest
),
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
exists
(?Debt)
(
and
(
property
?Debt
Liability
)
(
partyToAgreement
?Debt ?Agent)
(
partyToAgreement
?Debt ?Bank))))
FinancialOntology.kif 1178-1187
If
a financial account
is an
instance
of
liability account
and
an agreement
holds
account
the financial account
and
the financial account
is
held
by
another agreement
,
then there exists
a cognitive agent
such that
the cognitive agent
the
attribute
liability
and
the agreement
is a
party
to agreement of
the cognitive agent
and
the other agreement
is a
party
to agreement of
the cognitive agent
(=>
(
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 1045-1054
If
a financial account
is an
instance
of
savings account
and
a cognitive agent
holds
account
the financial account
and
the financial account
is
interest
earned
an interest
for
a time interval
,
then there exists
a financial transaction
such that
the financial transaction
end
s up at the
currency
of
the financial account
and
the interest
is a
transaction
amount of
the financial transaction
and
the financial transaction
end
s up at
the cognitive agent
(=>
(
and
(
instance
?P
PensionPlan
)
(
accountHolder
?P ?A)
(
employs
?O ?A))
(
financialAccount
?P ?O))
FinancialOntology.kif 1196-1201
If
a financial account
is an
instance
of
pension plan
and
a cognitive agent
holds
account
the financial account
and
a financial company
employ
s
the cognitive agent
,
then
the financial account
is a
financial
account of
the financial company
(=>
(
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 1208-1223
If
a financial account
is an
instance
of
profit sharing plan
and
a cognitive agent
holds
account
the financial account
and
an agent
employ
s
the cognitive agent
and the
profit
from
a financial transaction
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of currency
and
the agent
is an
agent
of
the financial transaction
,
then there exist
another real number
and
the real number
AY such that
the real number
AY is an
instance
of
financial transaction
and
the other real number
the unit of measure
(s) is a
transaction
amount of
the real number
AY and
the other real number
is
less
than
the real number
and
the real number
AY
end
s up at
the financial account
(=>
(
and
(
instance
?Using
UsingAnAccount
)
(
patient
?Using ?Account)
(
accountHolder
?Account ?Agent))
(
agent
?Using ?Agent))
FinancialOntology.kif 313-318
If
a process
is an
instance
of
using an account
and
a financial account
is a
patient
of
the process
and
a cognitive agent
holds
account
the financial account
,
then
the cognitive agent
is an
agent
of
the process
consequent
(<=>
(
and
(
instance
?Account
FinancialAccount
)
(
possesses
?Agent ?Asset)
(
equal
?Account
(
AccountFn
?Asset)))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 2338-2343
A financial account
is an
instance
of
financial account
and
a cognitive agent
possess
es
a financial asset
and
equal
the financial account
and the
account
of
the financial asset
if and only if
the cognitive agent
holds
account
the financial account
(=>
(
and
(
instance
?Card
CreditCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
CreditCardAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 220-228
If
a bank card
is an
instance
of
credit card
and
a cognitive agent
possess
es
the bank card
,
then there exists
a financial account
such that
the financial account
is an
instance
of
credit card account
and
the financial account
is a
card
account of
the bank card
and
the cognitive agent
holds
account
the financial account
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
DepositAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 205-213
If
a bank card
is an
instance
of
debit card
and
a cognitive agent
possess
es
the bank card
,
then there exists
a financial account
such that
the financial account
is an
instance
of
deposit account
and
the financial account
is a
card
account of
the bank card
and
the cognitive agent
holds
account
the financial account
(=>
(
and
(
instance
?Drawing
DrawingACheck
)
(
patient
?Drawing ?Check)
(
agent
?Drawing ?Agent)
(
checkAccount
?Check ?Account))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 323-329
If
a process
is an
instance
of
drawing a check
and
a check
is a
patient
of
the process
and
a cognitive agent
is an
agent
of
the process
and
a financial account
is a
check
account of
the check
,
then
the cognitive agent
holds
account
the financial 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 295-308
If
a process
is an
instance
of
opening an account
and
the process
is
located
at
a financial organization
and
the financial organization
is an
instance
of
financial organization
and
a cognitive agent
is an
agent
of
the process
and
equal
the
time
of existence of
the process
and
the process
Time,
then there exist
a financial account
and
the financial account
Period such that
the financial account
Period is an
agreement
period of
the financial account
and
the process
Time
meet
s
the financial account
Period and
the financial account
is an
instance
of
financial account
and
the financial account
is
held
by
the financial organization
and
the cognitive agent
holds
account
the financial 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