TreeView Knowledge Base Browser - callDate

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - callDate

callDate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2486-2487
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2484-2484	O argumento numero 1 de callDate e' uma instancia de Bond
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2485-2485	O argumento numero 2 de callDate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2483-2483	callDate e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 340-340
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 339-339
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 338-338
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12769-12769
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12768-12768
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12767-12767

antecedent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 2489-2494

Bond e' uma instancia de CallableBond currentAccountBalance AccountFn Bond, Dia and Medida de Divisa callDate Bond and Dia
amountDue AccountFn Bond, Medida de Divisa and Dia

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