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	The number 1 argument of call date is an instance of bond
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2485-2485	The number 2 argument of call date is an instance of day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2483-2483	call date is an instance of binary predicate

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

If a bond is an instance of callable bond and the account of the bond current account balance a day for a currency measure and the day is a call date of the bond,
then the account of the bond amount due the currency measure for the day

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