Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - accountHolder
accountHolder

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


(subrelation accountHolder partyToAgreement) FinancialOntology.kif 249-249 account holder is a subrelation of party to agreement
(instance accountHolder BinaryPredicate) FinancialOntology.kif 250-250 account holder is an instance of binary predicate
(domain accountHolder 1 FinancialAccount) FinancialOntology.kif 251-251 The number 1 argument of account holder is an instance of financial account
(domain accountHolder 2 CognitiveAgent) FinancialOntology.kif 252-252 The number 2 argument of account holder is an instance of cognitive agent
(documentation accountHolder EnglishLanguage "(accountHolder ?Account ?Agent) means that ?Agent is the account holder of the FinancialAccount ?Account.") FinancialOntology.kif 253-254 The number 2 argument of account holder is an instance of cognitive agent

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


(format EnglishLanguage accountHolder "%2 holds account %1") domainEnglishFormat.kif 2676-2676
(format ChineseTraditionalLanguage accountHolder "%2 持有 account %1 ") domainEnglishFormat.kif 2677-2677
(format ChineseLanguage accountHolder "%2 持有 account %1 ") domainEnglishFormat.kif 2678-2678
(termFormat EnglishLanguage accountHolder "account holder") domainEnglishFormat.kif 5257-5257
(termFormat ChineseTraditionalLanguage accountHolder "帳戶持有人") domainEnglishFormat.kif 5258-5258
(termFormat ChineseLanguage accountHolder "帐户持有人") domainEnglishFormat.kif 5259-5259

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


(=>
    (and
        (instance ?Using UsingAnAccount)
        (patient ?Using ?Account)
        (accountHolder ?Account ?Agent))
    (agent ?Using ?Agent))		 FinancialOntology.kif 313-318 If X is an instance of using an account, Y is a patient of X, and Z holds account Y, then Z is an agent of X
(=>
    (and
        (amountDue ?Account ?Amount ?DueDate)
        (accountHolder ?Account ?Agent))
    (holdsObligation ?Agent
        (exists (?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))))))		 FinancialOntology.kif 676-689 If X amount due Y for Z and W holds account X, then W is obliged to perform tasks of type there exists V such that V is an instance of payment, Y is a transaction amount of V, V ends up at the currency of X, V originates at the currency of X, date of V is U, and the end of U happens before, or at the beginning of Z
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))		 FinancialOntology.kif 1018-1022 X holds account Y, X is an instance of human if, and only if Y is an instance of personal account
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))		 FinancialOntology.kif 1029-1036 X is an instance of personal account, the number of instances in the class described by Y is greater than 1 if, and only if X is an instance of joint account
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))		 FinancialOntology.kif 1043-1047 X holds account Y, X is an instance of corporation if, and only if Y is an instance of corporate account
(=>
    (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 1068-1077 If X is an instance of savings account, Y holds account X, and X is interest earned Z for W, then there exists V such that V ends up at the currency of X, Z is a transaction amount of V, and V ends up at Y
(=>
    (and
        (instance ?Account LiabilityAccount)
        (accountHolder ?Account ?Agent)
        (accountAt ?Account ?Bank))
    (exists (?Debt)
        (and
            (property ?Debt Liability)
            (partyToAgreement ?Debt ?Agent)
            (partyToAgreement ?Debt ?Bank))))		 FinancialOntology.kif 1199-1208 If X is an instance of liability account, Y holds account X, and X is held by Z, then there exists W such that W the attribute liability, Y is a party to agreement of W, and Z is a party to agreement of W
(=>
    (and
        (instance ?P PensionPlan)
        (accountHolder ?P ?A)
        (employs ?O ?A))
    (financialAccount ?P ?O))		 FinancialOntology.kif 1217-1222 If X is an instance of pension plan, Y holds account X, and Z employs Y, then X is a financial account of Z
(=>
    (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 1229-1244 If All of the following hold: (1) X is an instance of profit sharing plan (2) Y holds account X (3) Z employs Y (4) the profit from W is V U(s) (5) U is an instance of unit of currency (6) Z is an agent of W, then there exist T and S such that S is an instance of financial transaction and T U(s) is a transaction amount of S and T is less than V and S ends up at X
(=>
    (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 1249-1259 If X is an instance of credit account, X is held by Y, Z holds account X, and X is interest earned W for V, then there exists U such that U originates at Z, W is a transaction amount of U, and U ends up at Y
(=>
    (and
        (instance ?Account CreditAccount)
        (accountHolder ?Account ?Agent)
        (principalAmount ?Account ?Principal)
        (agreementPeriod ?Account ?Period)
        (interestEarned ?Account ?Interest ?Period)
        (equal ?Total
            (AdditionFn ?Principal ?Interest)))
    (holdsObligation ?Agent
        (exists (?Payment)
            (transactionAmount ?Payment ?Total))))		 FinancialOntology.kif 1261-1271 If All of the following hold: (1) X is an instance of credit account (2) Y holds account X (3) Z is a principal amount of X (4) W is an agreement period of X (5) X is interest earned V for W (6) equal U and (Z and V), then Y is obliged to perform tasks of type there exists T such that U is a transaction amount of T
(=>
    (and
        (accountHolder ?Account ?Agent)
        (accountAt ?Account ?Bank))
    (customer ?Agent ?Bank))		 FinancialOntology.kif 3679-3683 If X holds account Y and Y is held by Z, then Z is a customer of X

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


(=>
    (and
        (instance ?Card DebitCard)
        (possesses ?Agent ?Card))
    (exists (?Account)
        (and
            (instance ?Account DepositAccount)
            (cardAccount ?Card ?Account)
            (accountHolder ?Account ?Agent))))		 FinancialOntology.kif 205-213 If X is an instance of debit card and Y possesses X, then there exists Z such that Z is an instance of deposit account, Z is a card account of X, and Y holds account Z
(=>
    (and
        (instance ?Card CreditCard)
        (possesses ?Agent ?Card))
    (exists (?Account)
        (and
            (instance ?Account CreditCardAccount)
            (cardAccount ?Card ?Account)
            (accountHolder ?Account ?Agent))))		 FinancialOntology.kif 220-228 If X is an instance of credit card and Y possesses X, then there exists Z such that Z is an instance of credit card account, Z is a card account of X, and Y holds account Z
(=>
    (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 295-308 If X is an instance of opening an account, X is located at Y, Y is an instance of financial organization, Z is an agent of X, and equal the time of existence of X and W, then there exist V, U such that U is an agreement period of V, W meets U, V is an instance of financial account, V is held by Y, and Z holds account V
(=>
    (and
        (instance ?Drawing DrawingACheck)
        (patient ?Drawing ?Check)
        (agent ?Drawing ?Agent)
        (checkAccount ?Check ?Account))
    (accountHolder ?Account ?Agent))		 FinancialOntology.kif 323-329 If X is an instance of drawing a check, Y is a patient of X, Z is an agent of X, and W is a check account of Y, then Z holds account W
(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))		 FinancialOntology.kif 2362-2367 X is an instance of financial account, Y possesses Z, equal X, the account of Z if, and only if Y holds account X


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners