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


KB Term:  Term intersection
English Word: 

  cardAccount

 Sigma KEE - cardAccount
cardAccount

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


(instance cardAccount BinaryPredicate) FinancialOntology.kif 237-237 card account is an instance of binary predicate
(domain cardAccount 1 BankCard) FinancialOntology.kif 238-238 The number 1 argument of card account is an instance of bank card
(domain cardAccount 2 FinancialAccount) FinancialOntology.kif 239-239 The number 2 argument of card account is an instance of financial account
(documentation cardAccount EnglishLanguage "(cardAccount ?Card ?Account) means that ?Account is the FinancialAccount linked to a BankCard ?Card.") FinancialOntology.kif 240-241 The number 2 argument of card account is an instance of financial account

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


(format EnglishLanguage cardAccount "%2 is %n a card account of %1") domainEnglishFormat.kif 366-366
(format ChineseTraditionalLanguage cardAccount "%2 %n 是 %1 的 card 帳戶") domainEnglishFormat.kif 367-367
(format ChineseLanguage cardAccount "%2 %n 是 %1 的 card 帐户") domainEnglishFormat.kif 368-368
(termFormat EnglishLanguage cardAccount "card account") domainEnglishFormat.kif 13188-13188
(termFormat ChineseTraditionalLanguage cardAccount "卡帳戶") domainEnglishFormat.kif 13189-13189
(termFormat ChineseLanguage cardAccount "卡帐户") domainEnglishFormat.kif 13190-13190

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


(=>
    (and
        (cardCode ?Code ?Card)
        (cardAccount ?Card ?Account))
    (exists (?Encoding)
        (and
            (instance ?Encoding Encoding)
            (patient ?Encoding ?Account))))		 FinancialOntology.kif 3562-3569 If X is a card code of Y and Z is a card account of X, then there exists W such that W is an instance of encoding and Z is a patient of W
(=>
    (and
        (holdsDuring ?Time
            (instance ?Card ExpiredCard))
        (cardAccount ?Card ?Account))
    (holdsDuring ?Time
        (not
            (attribute ?Card ActiveAgreement))))		 FinancialOntology.kif 3587-3592 If X is an instance of expired card holds during Y and Z is a card account of X, then active agreement is not an attribute of X holds during Y

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


(=>
    (and
        (instance ?Card BankCard)
        (issuedBy ?Card ?Bank))
    (exists (?Account)
        (and
            (instance ?Account FinancialAccount)
            (cardAccount ?Card ?Account)
            (accountAt ?Account ?Bank))))		 FinancialOntology.kif 190-198 If X is an instance of bank card and Y is an issued by of X, then there exists Z such that Z is an instance of financial account, Z is a card account of X, and Z is held by Y
(=>
    (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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners