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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExpiredCard

Sigma KEE - ExpiredCard
ExpiredCard(过期的卡)

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


(disjoint ExpiredCard ValidCard) FinancialOntology.kif 3526-3526 过期的卡 和 % 2 是 disjoint
(documentation ExpiredCard EnglishLanguage "A class of expired BankCards.") FinancialOntology.kif 3527-3527
(subclass ExpiredCard BankCard) FinancialOntology.kif 3525-3525 过期的卡银行卡subclass

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


(termFormat ChineseLanguage ExpiredCard "过期的卡") domainEnglishFormat.kif 22828-22828
(termFormat ChineseTraditionalLanguage ExpiredCard "過期的卡") domainEnglishFormat.kif 22827-22827
(termFormat EnglishLanguage ExpiredCard "expired card") domainEnglishFormat.kif 22826-22826

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


(=>
    (and
        (holdsDuring ?Time
            (instance ?Card ExpiredCard))
        (cardAccount ?Card ?Account))
    (holdsDuring ?Time
        (not
            (attribute ?Card ActiveAgreement))))
FinancialOntology.kif 3529-3534


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