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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BankCard
BankCard(bank card)
bank_card, cash_card, cashcard, smart_card

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 180-181
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5874-5874
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 179-179 Bank card is a subclass of financial instrument

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 213-213 Credit card is a subclass of bank card
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 198-198 Debit card is a subclass of bank card
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3525-3525 Expired card is a subclass of bank card
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3513-3513 Valid card is a subclass of bank card
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9816-9816
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9815-9815
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9814-9814

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 236-236 The number 1 argument of card account is an instance of bank card
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3500-3500 The number 2 argument of card code is an instance of bank card
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3539-3539 The number 2 argument of pin is an instance of bank card

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


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

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 443-448
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3669-3676


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