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 3696-3696 The day 25 of month the month May is a date established of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3698-3700 The day 25 of month the month May is a date established of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3692-3692 Organization of african unity is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3706-3706 Cultural cooperation is an organizational objective of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3702-3702 Economic cooperation is an organizational objective of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3705-3705 Economic development is an organizational objective of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3703-3703 Military cooperation is an organizational objective of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3707-3707 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 3704-3704 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 3695-3695 "OAU" is an abbreviation of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3694-3694 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 3693-3693 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 42524-42524 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 42523-42523 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 42522-42522 Organization of african unity is a conventional long name of "Organization of African Unity"


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