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

Formal Language: 



KB Term:  Term intersection
English Word: 

  cardCode

Sigma KEE - cardCode
cardCode

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3501-3502
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3499-3499 卡代碼, 1 and ContentBearingObject
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 3497-3497 卡代碼 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3498-3498 子關係 卡代碼 and 代表

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 372-372
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 371-371
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 370-370
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13194-13194
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13193-13193
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13192-13192

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3504-3511
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3572-3581


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