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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpecializedDesignServices

 Sigma KEE - WorldBankGroup
WorldBankGroup

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6985-6985
No TPTP formula. May not be expressible in strict first order. Government.kif 4281-4281 WorldBankGroup e' uma instancia de OrganizationOfNations

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4282-4282 conventionalLongName "World Bank Group" and WorldBankGroup
No TPTP formula. May not be expressible in strict first order. Government.kif 4283-4283 InternationalBankForReconstructionAndDevelopment e' uma parte da organizacao WorldBankGroup
No TPTP formula. May not be expressible in strict first order. Government.kif 4284-4284 InternationalDevelopmentAssociation e' uma parte da organizacao WorldBankGroup
No TPTP formula. May not be expressible in strict first order. Government.kif 4285-4285 InternationalFinanceCorporation e' uma parte da organizacao WorldBankGroup
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63485-63485
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63484-63484
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63483-63483


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