Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  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
(=>
    (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
(=>
    (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
        (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
        (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
        (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
        (instance ?P PensionPlan)
        (accountHolder ?P ?A)
        (employs ?O ?A))
    (financialAccount ?P ?O))
FinancialOntology.kif 1180-1185
(=>
    (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
        (instance ?Using UsingAnAccount)
        (patient ?Using ?Account)
        (accountHolder ?Account ?Agent))
    (agent ?Using ?Agent))
FinancialOntology.kif 311-316

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
(=>
    (and
        (instance ?Card DebitCard)
        (possesses ?Agent ?Card))
    (exists (?Account)
        (and
            (instance ?Account DepositAccount)
            (cardAccount ?Card ?Account)
            (accountHolder ?Account ?Agent))))
FinancialOntology.kif 203-211
(=>
    (and
        (instance ?Drawing DrawingACheck)
        (patient ?Drawing ?Check)
        (agent ?Drawing ?Agent)
        (checkAccount ?Check ?Account))
    (accountHolder ?Account ?Agent))
FinancialOntology.kif 321-327
(=>
    (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


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