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

Formal Language: 



KB Term:  Term intersection
English Word: 

  callDate

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


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