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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ValidCard

Sigma KEE - ValidCard
ValidCard(valid card)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3514-3514
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3513-3513 Valid card is a subclass of bank card

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


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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3516-3523


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