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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExpiredCard
ExpiredCard(expired card)

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


(disjoint ExpiredCard ValidCard) FinancialOntology.kif 3526-3526 Expired card is disjoint from valid card
(documentation ExpiredCard EnglishLanguage "A class of expired BankCards.") FinancialOntology.kif 3527-3527
(subclass ExpiredCard BankCard) FinancialOntology.kif 3525-3525 Expired card is a subclass of bank card

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