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 数量 是 有内用物体 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3500-3500 卡代码 的 2 数量 是 银行卡 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3497-3497 卡代码 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3498-3498 卡代码 是 表示 的 subrelation

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