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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FinancialOrganization
FinancialOrganization(financial organization)financial_institution, financial_organisation, financial_organization

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 18-19
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 17-17 Financial organization is a subclass of organization

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 21-21 Bank- financial organization is a subclass of financial organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 28-28 Credit union is a subclass of financial organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 35-35 Savings and loans is a subclass of financial organization
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23781-23781
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23780-23780
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23779-23779

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 231-231 The number 2 argument of account at is an instance of financial organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 848-848 The number 1 argument of service fee is an instance of financial organization

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 293-306
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4034-4041
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4020-4027