Browsing Interface		 [ Home |  Graph |   ]

KB:  Language: 


KB Term: 
English Word: 

Sigma KEE - accountHolder
accountHolder

appearance as argument number 1
-------------------------


(documentation accountHolder EnglishLanguage "(account holder ?Account ?Agent) means that ?Agent is the account holder of the financial account ?Account.") FinancialOntology.kif 246-247
(domain accountHolder 1 FinancialAccount) FinancialOntology.kif 244-244 The number 1 argument of account holder is an instance of financial account
(domain accountHolder 2 CognitiveAgent) FinancialOntology.kif 245-245 The number 2 argument of account holder is an instance of cognitive agent
(subrelation accountHolder agreementMember) FinancialOntology.kif 243-243 account holder is a subrelation of agreement member

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage accountHolder "account holder") domainEnglishFormat.kif 717-717 term format english language, account holder and "account holder"

antecedent
-------------------------


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))		 FinancialOntology.kif 924-928 account holder a financial account and a cognitive agent and cognitive agent is an instance of corporation if and only if financial account is an instance of corporate account
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))		 FinancialOntology.kif 902-906 account holder a financial account and a cognitive agent and cognitive agent is an instance of human if and only if 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 913-917 A financial account is an instance of personal account and the number of instances in the class described by ?Agent is greater than 1 if and only if financial account is an instance of joint account
(=>
    (and
        (accountHolder ?Account ?Agent)
        (accountAt ?Account ?Bank))
    (customer ?Agent ?Bank))		 FinancialOntology.kif 3407-3411
(=>
    (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 606-618
(=>
    (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 1081-1091
(=>
    (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 1093-1102
(=>
    (and
        (instance ?Account LiabilityAccount)
        (accountHolder ?Account ?Agent)
        (accountAt ?Account ?Bank))
    (exists (?Debt)
        (and
            (instance ?Debt Liability)
            (agreementMember ?Debt ?Agent)
            (agreementMember ?Debt ?Bank))))		 FinancialOntology.kif 1067-1076
(=>
    (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 950-959
(=>
    (and
        (instance ?P PensionPlan)
        (accountHolder ?P ?A)
        (employs ?O ?A))
    (financialAccount ?P ?O))		 Mid-level-ontology.kif 14145-14150
(=>
    (and
        (instance ?PSP ProfitSharingPlan)
        (accountHolder ?PSP ?H)
        (employs ?O ?H)
        (profit ?A ?P)
        (agent ?A ?O))
    (exists (?C ?PAY)
        (and
            (instance ?PAY FinancialTransaction)
            (transactionAmount ?PAY ?C)
            (lessThan ?C ?P)
            (destination ?PAY ?PSP))))		 Mid-level-ontology.kif 14157-14169
(=>
    (and
        (instance ?Using UsingAnAccount)
        (patient ?Using ?Account)
        (accountHolder ?Account ?Agent))
    (agent ?Using ?Agent))		 FinancialOntology.kif 296-301

consequent
-------------------------


(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))		 FinancialOntology.kif 2169-2174 A financial account is an instance of financial account and a cognitive agent possesses an object and financial account is equal to the account of object if and only if account holder financial account and cognitive agent
(=>
    (and
        (instance ?Card CreditCard)
        (possesses ?Agent ?Card))
    (exists (?Account)
        (and
            (instance ?Account CreditCardAccount)
            (cardAccount ?Card ?Account)
            (accountHolder ?Account ?Agent))))		 FinancialOntology.kif 215-223
(=>
    (and
        (instance ?Card DebitCard)
        (possesses ?Agent ?Card))
    (exists (?Account)
        (and
            (instance ?Account DepositAccount)
            (cardAccount ?Card ?Account)
            (accountHolder ?Account ?Agent))))		 FinancialOntology.kif 200-208
(=>
    (and
        (instance ?Drawing DrawingACheck)
        (patient ?Drawing ?Check)
        (agent ?Drawing ?Agent)
        (checkAccount ?Check ?Account))
    (accountHolder ?Account ?Agent))		 FinancialOntology.kif 306-312
(=>
    (and
        (instance ?Opening OpeningAnAccount)
        (located ?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 278-291


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners