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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 253-254
(domain accountHolder 1 FinancialAccount) FinancialOntology.kif 251-251 accountHolder の数値 1 引数は FinancialAccount の instance では
(domain accountHolder 2 CognitiveAgent) FinancialOntology.kif 252-252 accountHolder の数値 2 引数は 認識エージェント の instance では
(instance accountHolder BinaryPredicate) FinancialOntology.kif 250-250 accountHolder は 2進述語 の instance では
(subrelation accountHolder partyToAgreement) FinancialOntology.kif 249-249 accountHolder は partyToAgreement の subrelation では

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


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

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


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))		 FinancialOntology.kif 1020-1024 accountHolder FinancialAccount and 認識エージェント 認識エージェント は 法人 の instance では FinancialAccount は CorporateAccount の instance では
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))		 FinancialOntology.kif 998-1002 accountHolder FinancialAccount and 認識エージェント 認識エージェント は 人［人間］ の instance では FinancialAccount は PersonalAccount の instance では
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))		 FinancialOntology.kif 1009-1013 エンティティー は PersonalAccount の instance では エンティティー class の instances の数 は 1 より greater では　 エンティティー は JointAccount の instance では
(=>
    (and
        (accountHolder ?Account ?Agent)
        (accountAt ?Account ?Bank))
    (customer ?Agent ?Bank))		 FinancialOntology.kif 3639-3643
(=>
    (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 657-669
(=>
    (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 1228-1238
(=>
    (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 1240-1249
(=>
    (and
        (instance ?Account LiabilityAccount)
        (accountHolder ?Account ?Agent)
        (accountAt ?Account ?Bank))
    (exists (?Debt)
        (and
            (property ?Debt Liability)
            (partyToAgreement ?Debt ?Agent)
            (partyToAgreement ?Debt ?Bank))))		 FinancialOntology.kif 1178-1187
(=>
    (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 1045-1054
(=>
    (and
        (instance ?P PensionPlan)
        (accountHolder ?P ?A)
        (employs ?O ?A))
    (financialAccount ?P ?O))		 FinancialOntology.kif 1196-1201
(=>
    (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 1208-1223
(=>
    (and
        (instance ?Using UsingAnAccount)
        (patient ?Using ?Account)
        (accountHolder ?Account ?Agent))
    (agent ?Using ?Agent))		 FinancialOntology.kif 313-318

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


(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))		 FinancialOntology.kif 2338-2343 FinancialAccount は FinancialAccount の instance では 認識エージェント は FinancialAsset を possesses equal FinancialAccount and AccountFn FinancialAsset accountHolder FinancialAccount and 認識エージェント
(=>
    (and
        (instance ?Card CreditCard)
        (possesses ?Agent ?Card))
    (exists (?Account)
        (and
            (instance ?Account CreditCardAccount)
            (cardAccount ?Card ?Account)
            (accountHolder ?Account ?Agent))))		 FinancialOntology.kif 220-228
(=>
    (and
        (instance ?Card DebitCard)
        (possesses ?Agent ?Card))
    (exists (?Account)
        (and
            (instance ?Account DepositAccount)
            (cardAccount ?Card ?Account)
            (accountHolder ?Account ?Agent))))		 FinancialOntology.kif 205-213
(=>
    (and
        (instance ?Drawing DrawingACheck)
        (patient ?Drawing ?Check)
        (agent ?Drawing ?Agent)
        (checkAccount ?Check ?Account))
    (accountHolder ?Account ?Agent))		 FinancialOntology.kif 323-329
(=>
    (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


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 is open source software produced by Articulate Software and its partners