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 3526-3526
(documentation ExpiredCard EnglishLanguage "A class of expired BankCards.") FinancialOntology.kif 3527-3527
(subclass ExpiredCard BankCard) FinancialOntology.kif 3525-3525

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 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