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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CreditUnions

 Sigma KEE - CreditUnions
CreditUnions(credit unions)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9219-9221
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5941-5941
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6321-6321
No TPTP formula. May not be expressible in strict first order. naics.kif 9217-9217 Credit unions is a subattribute of depository credit intermediation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17796-17796
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17795-17795
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17794-17794


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