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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganizationOfAfricanUnity
OrganizationOfAfricanUnity(organization of african unity)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3666-3666 The day 25 is a date established of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3668-3670
No TPTP formula. May not be expressible in strict first order. Government.kif 3662-3662 Organization of african unity is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3676-3676 Cultural cooperation is an organizational objective of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3672-3672 Economic cooperation is an organizational objective of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3675-3675 Economic development is an organizational objective of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3673-3673 Military cooperation is an organizational objective of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3677-3677 Public health concern is an organizational objective of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3674-3674 Social development is an organizational objective of organization of african unity

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3665-3665 "OAU" is an abbreviation of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3664-3664 Organization of african unity is a conventional long name of "African Union"
No TPTP formula. May not be expressible in strict first order. Government.kif 3663-3663 Organization of african unity is a conventional long name of "Organization of African Unity"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42505-42505
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42504-42504
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42503-42503


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