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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BankCard

Sigma KEE - BankCard
BankCard(銀行卡)

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 子類 銀行卡 and 金融工具

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 213-213 子類 信用卡 and 銀行卡
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 198-198 子類 金融卡 and 銀行卡
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3525-3525 子類 過期的卡 and 銀行卡
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3513-3513 子類 有效卡 and 銀行卡
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 卡帳戶, 1 and 銀行卡
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3500-3500 卡代碼, 2 and 銀行卡
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3539-3539 , 2 and 銀行卡

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