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
AssociativeFunction
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
Il numero 1 argomenti di
accountHolder
è un
istanza
di
FinancialAccount
(
domain
accountHolder
2
CognitiveAgent
)
FinancialOntology.kif 250-250
Il numero 2 argomenti di
accountHolder
è un
istanza
di
AgenteCognitivo
(
instance
accountHolder
BinaryPredicate
)
FinancialOntology.kif 248-248
accountHolder
è un'
istanza
di
PredicatoBinario
(
subrelation
accountHolder
partyToAgreement
)
FinancialOntology.kif 247-247
accountHolder
è una
sottorelazione
di
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
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
Corporazione
FinancialAccount
è un'
istanza
di
CorporateAccount
(<=>
(
and
(
accountHolder
?Account ?Agent)
(
instance
?Agent
Human
))
(
instance
?Account
PersonalAccount
))
FinancialOntology.kif 996-1000
accountHolder
FinancialAccount
and
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
Umano
FinancialAccount
è un'
istanza
di
PersonalAccount
(<=>
(
and
(
instance
?Account
PersonalAccount
)
(
greaterThan
(
CardinalityFn
(
KappaFn
?Agent
(
accountHolder
?Account ?Agent))) 1))
(
instance
?Account
JointAccount
))
FinancialOntology.kif 1007-1011
Entit�
è un'
istanza
di
PersonalAccount
il numero di
istanzia
in la
classe
descritta da
Stringa
è
pi
ù grande di 1
Entit�
è un'
istanza
di
JointAccount
(=>
(
and
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
customer
?Agent ?Bank))
FinancialOntology.kif 3621-3625
accountHolder
FinancialAccount
and
AgenteCognitivo
accountAt
FinancialAccount
and
FinancialOrganization
customer
AgenteCognitivo
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
amountDue
FinancialAccount
,
MisuraMonetaria
and
PosizioneTemporale
accountHolder
FinancialAccount
and
AgenteCognitivo
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
FinancialAccount
è un'
istanza
di
CreditAccount
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
AgenteCognitivo
interestEarned
FinancialAccount
,
Interest
and
IntervalloTemporale
ScambioFinanziario
ScambioFinanziario
si
originas in
AgenteCognitivo
transactionAmount
ScambioFinanziario
and
Interest
ScambioFinanziario
fine
s in
FinancialOrganization
(=>
(
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
FinancialAccount
è un'
istanza
di
CreditAccount
accountHolder
FinancialAccount
and
AgenteCognitivo
principalAmount
FinancialAccount
and
NumeroReale
agreementPeriod
FinancialAccount
and
IntervalloTemporale
interestEarned
FinancialAccount
,
Interest
and
IntervalloTemporale
NumeroReale
is
uguale
a (
NumeroReale
+
Interest
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
FinancialAccount
è un'
istanza
di
LiabilityAccount
accountHolder
FinancialAccount
and
Agreement
accountAt
FinancialAccount
and
Agreement
AgenteCognitivo
AgenteCognitivo
ha un
attributo
Liability
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
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
FinancialAccount
è un'
istanza
di
SavingsAccount
accountHolder
FinancialAccount
and
AgenteCognitivo
interestEarned
FinancialAccount
,
Interest
and
IntervalloTemporale
ScambioFinanziario
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
Interest
ScambioFinanziario
fine
s in
AgenteCognitivo
(=>
(
and
(
instance
?P
PensionPlan
)
(
accountHolder
?P ?A)
(
employs
?O ?A))
(
financialAccount
?P ?O))
FinancialOntology.kif 1180-1185
FinancialAccount
è un'
istanza
di
PensionPlan
accountHolder
FinancialAccount
and
AgenteCognitivo
FinancialCompany
impiega
s
AgenteCognitivo
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
FinancialAccount
è un'
istanza
di
ProfitSharingPlan
accountHolder
FinancialAccount
and
AgenteCognitivo
AutonomousAgent
impiega
s
AgenteCognitivo
profit
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
ScambioFinanziario
è un
agente
di
AutonomousAgent
NumeroReale
NumeroReale
AY
NumeroReale
AY è un'
istanza
di
ScambioFinanziario
transactionAmount
NumeroReale
AY and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
NumeroReale
AY
fine
s in
FinancialAccount
(=>
(
and
(
instance
?Using
UsingAnAccount
)
(
patient
?Using ?Account)
(
accountHolder
?Account ?Agent))
(
agent
?Using ?Agent))
FinancialOntology.kif 311-316
Processo
è un'
istanza
di
UsingAnAccount
FinancialAccount
è un
paziente
di
Processo
accountHolder
FinancialAccount
and
AgenteCognitivo
Processo
è un
agente
di
AgenteCognitivo
consequent
(<=>
(
and
(
instance
?Account
FinancialAccount
)
(
possesses
?Agent ?Asset)
(
equal
?Account
(
AccountFn
?Asset)))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 2321-2326
FinancialAccount
è un'
istanza
di
FinancialAccount
AgenteCognitivo
possiede
es
FinancialAsset
FinancialAccount
is
uguale
a
AccountFn
FinancialAsset
accountHolder
FinancialAccount
and
AgenteCognitivo
(=>
(
and
(
instance
?Card
CreditCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
CreditCardAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 218-226
BankCard
è un'
istanza
di
CreditCard
AgenteCognitivo
possiede
es
BankCard
FinancialAccount
FinancialAccount
è un'
istanza
di
CreditCardAccount
cardAccount
BankCard
and
FinancialAccount
accountHolder
FinancialAccount
and
AgenteCognitivo
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
DepositAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 203-211
BankCard
è un'
istanza
di
DebitCard
AgenteCognitivo
possiede
es
BankCard
FinancialAccount
FinancialAccount
è un'
istanza
di
DepositAccount
cardAccount
BankCard
and
FinancialAccount
accountHolder
FinancialAccount
and
AgenteCognitivo
(=>
(
and
(
instance
?Drawing
DrawingACheck
)
(
patient
?Drawing ?Check)
(
agent
?Drawing ?Agent)
(
checkAccount
?Check ?Account))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 321-327
Processo
è un'
istanza
di
DrawingACheck
Check
è un
paziente
di
Processo
Processo
è un
agente
di
AgenteCognitivo
checkAccount
Check
and
FinancialAccount
accountHolder
FinancialAccount
and
AgenteCognitivo
(=>
(
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
Processo
è un'
istanza
di
OpeningAnAccount
eventLocated
Processo
and
FinancialOrganization
FinancialOrganization
è un'
istanza
di
FinancialOrganization
Processo
è un
agente
di
AgenteCognitivo
il
tempo
di esistenza di
Processo
is
uguale
a
Processo
Time
FinancialAccount
FinancialAccount
Period
agreementPeriod
FinancialAccount
and
FinancialAccount
Period
Processo
Time
incontra
s
FinancialAccount
Period
FinancialAccount
è un'
istanza
di
FinancialAccount
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
AgenteCognitivo
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