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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganizationOfTheIslamicConference
OrganizationOfTheIslamicConference(organization of the islamic conference)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3785-3785 The month September is a date established of organization of the islamic conference
No TPTP formula. May not be expressible in strict first order. Government.kif 3782-3782 Organization of the islamic conference is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3788-3788 Cultural cooperation is an organizational objective of organization of the islamic conference
No TPTP formula. May not be expressible in strict first order. Government.kif 3787-3787 Economic cooperation is an organizational objective of organization of the islamic conference
No TPTP formula. May not be expressible in strict first order. Government.kif 3786-3786 Political cooperation is an organizational objective of organization of the islamic conference
No TPTP formula. May not be expressible in strict first order. Government.kif 3789-3789 Social cooperation is an organizational objective of organization of the islamic conference

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3784-3784 "OIC" is an abbreviation of organization of the islamic conference
No TPTP formula. May not be expressible in strict first order. Government.kif 3783-3783 Organization of the islamic conference is a conventional long name of "Organization of the Islamic Conference"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42558-42558
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42557-42557
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42556-42556


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