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

Formal Language: 



KB Term:  Term intersection
English Word: 

  dateOfStatement

 Sigma KEE - dateOfStatement
dateOfStatement

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4028-4029
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4026-4026 Le nombre 1 argument de dateOfStatement est une instance de BankStatement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4027-4027 Le nombre 2 argument de dateOfStatement est une instance de jour
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4025-4025 dateOfStatement est une instance de pr�dicat binaire

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 656-656
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 655-655
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 654-654
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18630-18630
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18629-18629
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18628-18628

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4070-4074
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4031-4036

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