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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExpiredCard
ExpiredCard

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


(disjoint ExpiredCard ValidCard) FinancialOntology.kif 3536-3536
(documentation ExpiredCard EnglishLanguage "A class of expired BankCards.") FinancialOntology.kif 3537-3537
(subclass ExpiredCard BankCard) FinancialOntology.kif 3535-3535

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


(termFormat ChineseLanguage ExpiredCard "过期的卡") domainEnglishFormat.kif 22820-22820
(termFormat ChineseTraditionalLanguage ExpiredCard "過期的卡") domainEnglishFormat.kif 22819-22819
(termFormat EnglishLanguage ExpiredCard "expired card") domainEnglishFormat.kif 22818-22818

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


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


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