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

Formal Language: 



KB Term:  Term intersection
English Word: 

  cardAccount

Sigma KEE - cardAccount
cardAccount

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


(documentation cardAccount EnglishLanguage "(cardAccount ?Card ?Account) means that ?Account is the FinancialAccount linked to a BankCard ?Card.") FinancialOntology.kif 238-239
(domain cardAccount 1 BankCard) FinancialOntology.kif 236-236
(domain cardAccount 2 FinancialAccount) FinancialOntology.kif 237-237
(instance cardAccount BinaryPredicate) FinancialOntology.kif 235-235

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


(format EnglishLanguage cardAccount "%2 is %n a card account of %1") domainEnglishFormat.kif 101-101
(termFormat EnglishLanguage cardAccount "card account") domainEnglishFormat.kif 2620-2620

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


(=>
    (and
        (cardCode ?Code ?Card)
        (cardAccount ?Card ?Account))
    (exists (?Encoding)
        (and
            (instance ?Encoding Encoding)
            (patient ?Encoding ?Account))))
FinancialOntology.kif 3395-3402
(=>
    (and
        (holdsDuring ?Time
            (instance ?Card ExpiredCard))
        (cardAccount ?Card ?Account))
    (holdsDuring ?Time
        (not
            (attribute ?Card ActiveAgreement))))
FinancialOntology.kif 3420-3425

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


(=>
    (and
        (instance ?Card BankCard)
        (issuedBy ?Card ?Bank))
    (exists (?Account)
        (and
            (instance ?Account FinancialAccount)
            (cardAccount ?Card ?Account)
            (accountAt ?Account ?Bank))))
FinancialOntology.kif 188-196
(=>
    (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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners