TreeView Knowledge Base Browser - cardCode

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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	O argumento numero 1 de cardCode e' uma instancia de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3500-3500	O argumento numero 2 de cardCode e' uma instancia de BankCard
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3497-3497	cardCode e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3498-3498	cardCode e' uma sub-relacao de represents

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	cardCode Objeto Representendo Conteudo Abstrato and BankCard cardAccount BankCard and FinancialAccount Processo Processo e' uma instancia de Codificar FinancialAccount e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3572-3581	Processo e' uma instancia de VerifyingCardCode Objeto Representendo Conteudo Abstrato e' um patient de Processo cardCode Objeto Representendo Conteudo Abstrato and BankCard Processo Processo e' uma instancia de Decodificar Processo e' um sub-processo de Processo Objeto Representendo Conteudo Abstrato e' um patient de Processo

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