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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExpiredCard

Sigma KEE - ExpiredCard
ExpiredCard(expired card)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3526-3526 Expired card is disjoint from valid card
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3527-3527
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3525-3525 Expired card is a subclass of bank card

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22828-22828
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22827-22827
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22826-22826

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


No TPTP formula. May not be expressible in strict first order. 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