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
Die Zahl 1 Argument von
accountHolder
ist ein
fall
von
FinancialAccount
%n{nicht}
(
domain
accountHolder
2
CognitiveAgent
)
FinancialOntology.kif 250-250
Die Zahl 2 Argument von
accountHolder
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
instance
accountHolder
BinaryPredicate
)
FinancialOntology.kif 248-248
accountHolder
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
accountHolder
partyToAgreement
)
FinancialOntology.kif 247-247
accountHolder
ist eine
teilrelation
von
partyToAgreement
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
accountHolder
FinancialAccount
and
CognitiveAgent
und
** CognitiveAgent
ist ein
fall
von
Corporation
%n{nicht} genau dann wenn
** FinancialAccount
ist ein
fall
von
CorporateAccount
%n{nicht}
(<=>
(
and
(
accountHolder
?Account ?Agent)
(
instance
?Agent
Human
))
(
instance
?Account
PersonalAccount
))
FinancialOntology.kif 996-1000
accountHolder
FinancialAccount
and
CognitiveAgent
und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} genau dann wenn
** FinancialAccount
ist ein
fall
von
PersonalAccount
%n{nicht}
(<=>
(
and
(
instance
?Account
PersonalAccount
)
(
greaterThan
(
CardinalityFn
(
KappaFn
?Agent
(
accountHolder
?Account ?Agent))) 1))
(
instance
?Account
JointAccount
))
FinancialOntology.kif 1007-1011
Entity
ist ein
fall
von
PersonalAccount
%n{nicht} und die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt ist
groesserAls
1 %n{nicht} genau dann wenn
** Entity
ist ein
fall
von
JointAccount
%n{nicht}
(=>
(
and
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
customer
?Agent ?Bank))
FinancialOntology.kif 3621-3625
Wenn
accountHolder
FinancialAccount
and
CognitiveAgent
und
accountAt
** FinancialAccount
and
FinancialOrganization
,
dann
customer
** CognitiveAgent
and
** FinancialOrganization
(=>
(
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
Wenn
amountDue
FinancialAccount
,
CurrencyMeasure
and
TimePosition
und
accountHolder
** FinancialAccount
and
CognitiveAgent
,
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
CreditAccount
%n{nicht} und
accountAt
** FinancialAccount
and
FinancialOrganization
und
accountHolder
** FinancialAccount
and
CognitiveAgent
und
interestEarned
** FinancialAccount
,
Interest
and
TimeInterval
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
beginnet an
** CognitiveAgent
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** Interest
und
** FinancialTransaction
endet an
** FinancialOrganization
%n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
CreditAccount
%n{nicht} und
accountHolder
** FinancialAccount
and
CognitiveAgent
und
principalAmount
** FinancialAccount
and
RealNumber
und
agreementPeriod
** FinancialAccount
and
TimeInterval
und
interestEarned
** FinancialAccount
,
Interest
and
** TimeInterval
und
** RealNumber
ist gleich (
** RealNumber
und
** Interest
) %n{nicht},
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
LiabilityAccount
%n{nicht} und
accountHolder
** FinancialAccount
and
Agreement
und
accountAt
** FinancialAccount
and
** Agreement
,
dann es gibt
CognitiveAgent
um
** CognitiveAgent
hat ein
attribut
Liability
%n{nicht} und
partyToAgreement
** CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** ** Agreement
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
SavingsAccount
%n{nicht} und
accountHolder
** FinancialAccount
and
CognitiveAgent
und
interestEarned
** FinancialAccount
,
Interest
and
TimeInterval
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** Interest
und
** FinancialTransaction
endet an
** CognitiveAgent
%n{nicht}
(=>
(
and
(
instance
?P
PensionPlan
)
(
accountHolder
?P ?A)
(
employs
?O ?A))
(
financialAccount
?P ?O))
FinancialOntology.kif 1180-1185
Wenn
FinancialAccount
ist ein
fall
von
PensionPlan
%n{nicht} und
accountHolder
** FinancialAccount
and
CognitiveAgent
und
FinancialCompany
beschaeftigt
** CognitiveAgent
%n{nicht},
dann
financialAccount
** FinancialAccount
and
** FinancialCompany
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
ProfitSharingPlan
%n{nicht} und
accountHolder
** FinancialAccount
and
CognitiveAgent
und
AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
profit
FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann es gibt
** RealNumber
und
** RealNumber
AY um
** RealNumber
AY ist ein
fall
von
FinancialTransaction
%n{nicht} und
transactionAmount
** RealNumber
AY and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht} und
** RealNumber
AY endet an
** FinancialAccount
%n{nicht}
(=>
(
and
(
instance
?Using
UsingAnAccount
)
(
patient
?Using ?Account)
(
accountHolder
?Account ?Agent))
(
agent
?Using ?Agent))
FinancialOntology.kif 311-316
Wenn
Process
ist ein
fall
von
UsingAnAccount
%n{nicht} und
FinancialAccount
ist ein
patient
von
** Process
%n{nicht} und
accountHolder
** FinancialAccount
and
CognitiveAgent
,
dann
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht}
consequent
(<=>
(
and
(
instance
?Account
FinancialAccount
)
(
possesses
?Agent ?Asset)
(
equal
?Account
(
AccountFn
?Asset)))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 2321-2326
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
CognitiveAgent
besitzt
FinancialAsset
%n{nicht} und
** FinancialAccount
ist gleich
AccountFn
** FinancialAsset
%n{nicht} genau dann wenn
accountHolder
** FinancialAccount
and
** CognitiveAgent
(=>
(
and
(
instance
?Card
CreditCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
CreditCardAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 218-226
Wenn
BankCard
ist ein
fall
von
CreditCard
%n{nicht} und
CognitiveAgent
besitzt
** BankCard
%n{nicht},
dann es gibt
FinancialAccount
um
** FinancialAccount
ist ein
fall
von
CreditCardAccount
%n{nicht} und
cardAccount
** BankCard
and
** FinancialAccount
und
accountHolder
** FinancialAccount
and
** CognitiveAgent
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
DepositAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 203-211
Wenn
BankCard
ist ein
fall
von
DebitCard
%n{nicht} und
CognitiveAgent
besitzt
** BankCard
%n{nicht},
dann es gibt
FinancialAccount
um
** FinancialAccount
ist ein
fall
von
DepositAccount
%n{nicht} und
cardAccount
** BankCard
and
** FinancialAccount
und
accountHolder
** FinancialAccount
and
** CognitiveAgent
(=>
(
and
(
instance
?Drawing
DrawingACheck
)
(
patient
?Drawing ?Check)
(
agent
?Drawing ?Agent)
(
checkAccount
?Check ?Account))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 321-327
Wenn
Process
ist ein
fall
von
DrawingACheck
%n{nicht} und
Check
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
checkAccount
** Check
and
FinancialAccount
,
dann
accountHolder
** FinancialAccount
and
** CognitiveAgent
(=>
(
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
Wenn
Process
ist ein
fall
von
OpeningAnAccount
%n{nicht} und
eventLocated
** Process
and
FinancialOrganization
und
** FinancialOrganization
ist ein
fall
von
FinancialOrganization
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** Process
Time %n{nicht},
dann es gibt
FinancialAccount
und
** FinancialAccount
Period um
agreementPeriod
** FinancialAccount
and
** FinancialAccount
Period und
** Process
Time
schliesst
** FinancialAccount
Period zeitlich an und
** FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
accountAt
** FinancialAccount
and
** FinancialOrganization
und
accountHolder
** FinancialAccount
and
** CognitiveAgent
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