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


KB Term:  Term intersection
English Word: 

  cardCode

 Sigma KEE - cardCode
cardCode

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


(instance cardCode BinaryPredicate) FinancialOntology.kif 3555-3555 card code is an instance of binary predicate
(subrelation cardCode represents) FinancialOntology.kif 3556-3556 card code is a subrelation of represents
(domain cardCode 1 ContentBearingObject) FinancialOntology.kif 3557-3557 The number 1 argument of card code is an instance of content bearing object
(domain cardCode 2 BankCard) FinancialOntology.kif 3558-3558 The number 2 argument of card code is an instance of bank card
(documentation cardCode EnglishLanguage "(cardCode ?Code ?Card) means that ?Code represents the account number of the BankCard ?Card.") FinancialOntology.kif 3559-3560 The number 2 argument of card code is an instance of bank card

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


(format EnglishLanguage cardCode "%2 is %n a card code of %1") domainEnglishFormat.kif 370-370
(format ChineseTraditionalLanguage cardCode "%2 %n 是 %1 的 card 代號") domainEnglishFormat.kif 371-371
(format ChineseLanguage cardCode "%2 %n 是 %1 的 card 代号") domainEnglishFormat.kif 372-372
(termFormat EnglishLanguage cardCode "card code") domainEnglishFormat.kif 13200-13200
(termFormat ChineseTraditionalLanguage cardCode "卡代碼") domainEnglishFormat.kif 13201-13201
(termFormat ChineseLanguage cardCode "卡代码") domainEnglishFormat.kif 13202-13202

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
        (instance ?Check VerifyingCardCode)
        (patient ?Check ?Code)
        (cardCode ?Code ?Card))
    (exists (?Decode)
        (and
            (instance ?Decode Decoding)
            (subProcess ?Decode ?Check)
            (patient ?Decode ?Code))))		 FinancialOntology.kif 3630-3639 If X is an instance of verifying card code, Y is a patient of X, and Z is a card code of Y, then there exists W such that W is an instance of decoding, W is a subprocess of X, and Y is a patient of W


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