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
O argumento numero 1 de
accountHolder
e' uma
instancia
de
FinancialAccount
(
domain
accountHolder
2
CognitiveAgent
)
FinancialOntology.kif 250-250
O argumento numero 2 de
accountHolder
e' uma
instancia
de
Agente Cognitivo
(
instance
accountHolder
BinaryPredicate
)
FinancialOntology.kif 248-248
accountHolder
e' uma
instancia
de
Predicado Binario
(
subrelation
accountHolder
partyToAgreement
)
FinancialOntology.kif 247-247
accountHolder
e' uma
sub
-relacao de
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
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Empresa
FinancialAccount
e' uma
instancia
de
CorporateAccount
(<=>
(
and
(
accountHolder
?Account ?Agent)
(
instance
?Agent
Human
))
(
instance
?Account
PersonalAccount
))
FinancialOntology.kif 996-1000
accountHolder
FinancialAccount
and
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Humano
FinancialAccount
e' uma
instancia
de
PersonalAccount
(<=>
(
and
(
instance
?Account
PersonalAccount
)
(
greaterThan
(
CardinalityFn
(
KappaFn
?Agent
(
accountHolder
?Account ?Agent))) 1))
(
instance
?Account
JointAccount
))
FinancialOntology.kif 1007-1011
Entidade
e' uma
instancia
de
PersonalAccount
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
maior
que 1
Entidade
e' uma
instancia
de
JointAccount
(=>
(
and
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
customer
?Agent ?Bank))
FinancialOntology.kif 3621-3625
accountHolder
FinancialAccount
and
Agente Cognitivo
accountAt
FinancialAccount
and
FinancialOrganization
customer
Agente Cognitivo
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
,
Medida de Divisa
and
Posicao Temporal
accountHolder
FinancialAccount
and
Agente Cognitivo
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
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
e' uma
instancia
de
CreditAccount
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
Agente Cognitivo
interestEarned
FinancialAccount
,
Interest
and
Intervalo Temporal
Transacao Financeira
Transacao Financeira
tem como
origem
Agente Cognitivo
transactionAmount
Transacao Financeira
and
Interest
Transacao Financeira
termina
em
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
e' uma
instancia
de
CreditAccount
accountHolder
FinancialAccount
and
Agente Cognitivo
principalAmount
FinancialAccount
and
Numero Real
agreementPeriod
FinancialAccount
and
Intervalo Temporal
interestEarned
FinancialAccount
,
Interest
and
Intervalo Temporal
Numero Real
e'
igual
a (
Numero Real
+
Interest
)
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
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
e' uma
instancia
de
LiabilityAccount
accountHolder
FinancialAccount
and
Agreement
accountAt
FinancialAccount
and
Agreement
Agente Cognitivo
Agente Cognitivo
tem um
atributo
de
Liability
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
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
e' uma
instancia
de
SavingsAccount
accountHolder
FinancialAccount
and
Agente Cognitivo
interestEarned
FinancialAccount
,
Interest
and
Intervalo Temporal
Transacao Financeira
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Interest
Transacao Financeira
termina
em
Agente Cognitivo
(=>
(
and
(
instance
?P
PensionPlan
)
(
accountHolder
?P ?A)
(
employs
?O ?A))
(
financialAccount
?P ?O))
FinancialOntology.kif 1180-1185
FinancialAccount
e' uma
instancia
de
PensionPlan
accountHolder
FinancialAccount
and
Agente Cognitivo
FinancialCompany
emprega
Agente Cognitivo
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
e' uma
instancia
de
ProfitSharingPlan
accountHolder
FinancialAccount
and
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
profit
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Transacao Financeira
e' um
agente
de
AutonomousAgent
Numero Real
Numero Real
AY
Numero Real
AY e' uma
instancia
de
Transacao Financeira
transactionAmount
Numero Real
AY and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
Numero Real
Numero Real
AY
termina
em
FinancialAccount
(=>
(
and
(
instance
?Using
UsingAnAccount
)
(
patient
?Using ?Account)
(
accountHolder
?Account ?Agent))
(
agent
?Using ?Agent))
FinancialOntology.kif 311-316
Processo
e' uma
instancia
de
UsingAnAccount
FinancialAccount
e' um
patient
de
Processo
accountHolder
FinancialAccount
and
Agente Cognitivo
Processo
e' um
agente
de
Agente Cognitivo
consequent
(<=>
(
and
(
instance
?Account
FinancialAccount
)
(
possesses
?Agent ?Asset)
(
equal
?Account
(
AccountFn
?Asset)))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 2321-2326
FinancialAccount
e' uma
instancia
de
FinancialAccount
Agente Cognitivo
possui
FinancialAsset
FinancialAccount
e'
igual
a
AccountFn
FinancialAsset
accountHolder
FinancialAccount
and
Agente Cognitivo
(=>
(
and
(
instance
?Card
CreditCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
CreditCardAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 218-226
BankCard
e' uma
instancia
de
CreditCard
Agente Cognitivo
possui
BankCard
FinancialAccount
FinancialAccount
e' uma
instancia
de
CreditCardAccount
cardAccount
BankCard
and
FinancialAccount
accountHolder
FinancialAccount
and
Agente Cognitivo
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card))
(
exists
(?Account)
(
and
(
instance
?Account
DepositAccount
)
(
cardAccount
?Card ?Account)
(
accountHolder
?Account ?Agent))))
FinancialOntology.kif 203-211
BankCard
e' uma
instancia
de
DebitCard
Agente Cognitivo
possui
BankCard
FinancialAccount
FinancialAccount
e' uma
instancia
de
DepositAccount
cardAccount
BankCard
and
FinancialAccount
accountHolder
FinancialAccount
and
Agente Cognitivo
(=>
(
and
(
instance
?Drawing
DrawingACheck
)
(
patient
?Drawing ?Check)
(
agent
?Drawing ?Agent)
(
checkAccount
?Check ?Account))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 321-327
Processo
e' uma
instancia
de
DrawingACheck
Check
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
checkAccount
Check
and
FinancialAccount
accountHolder
FinancialAccount
and
Agente Cognitivo
(=>
(
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
e' uma
instancia
de
OpeningAnAccount
eventLocated
Processo
and
FinancialOrganization
FinancialOrganization
e' uma
instancia
de
FinancialOrganization
Processo
e' um
agente
de
Agente Cognitivo
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
FinancialAccount
FinancialAccount
Period
agreementPeriod
FinancialAccount
and
FinancialAccount
Period
Processo
Time
encontra
FinancialAccount
Period
FinancialAccount
e' uma
instancia
de
FinancialAccount
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
Agente Cognitivo
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