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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ActivitiesRelatedToCreditIntermediation

Sigma KEE - ActivitiesRelatedToCreditIntermediation
ActivitiesRelatedToCreditIntermediation(activities related to credit intermediation)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9291-9293
No TPTP formula. May not be expressible in strict first order. naics.kif 9289-9289 Activities related to credit intermediation is a subattribute of credit intermediation and related activities

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9302-9302 Financial transactions processing reserve and clearinghouse activities is a subattribute of activities related to credit intermediation
No TPTP formula. May not be expressible in strict first order. naics.kif 9295-9295 Mortgage and nonmortgage loan brokers is a subattribute of activities related to credit intermediation
No TPTP formula. May not be expressible in strict first order. naics.kif 9311-9311 Other activities related to credit intermediation is a subattribute of activities related to credit intermediation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5370-5370
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5369-5369
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5368-5368


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