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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InterGovernmentalAuthorityOnDevelopment
InterGovernmentalAuthorityOnDevelopment(inter governmental authority on development)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3374-3374 The day 21 is a date established of inter governmental authority on development
No TPTP formula. May not be expressible in strict first order. Government.kif 3379-3382
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10079-10079
No TPTP formula. May not be expressible in strict first order. Government.kif 3369-3369 Inter governmental authority on development is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3376-3376 Economic cooperation is an organizational objective of inter governmental authority on development
No TPTP formula. May not be expressible in strict first order. Government.kif 3377-3377 Scientific cooperation is an organizational objective of inter governmental authority on development
No TPTP formula. May not be expressible in strict first order. Government.kif 3375-3375 Social cooperation is an organizational objective of inter governmental authority on development

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3371-3371 "IGAD" is an abbreviation of inter governmental authority on development
No TPTP formula. May not be expressible in strict first order. Government.kif 3370-3370 Inter governmental authority on development is a conventional long name of "Inter-Governmental Authority on Development"
No TPTP formula. May not be expressible in strict first order. Government.kif 3373-3373 "IGADD" is a former name for inter governmental authority on development
No TPTP formula. May not be expressible in strict first order. Government.kif 3372-3372 "Inter-Governmental Authority on Drought and Development" is a former name for inter governmental authority on development
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30420-30420
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30419-30419
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30418-30418


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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