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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedNations
UnitedNations(united nations)
UN, United_Nations

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3852-3852 The day 26 is a date established of united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3859-3864
No TPTP formula. May not be expressible in strict first order. pictureList.kif 813-813
No TPTP formula. May not be expressible in strict first order. Government.kif 3849-3849 United nations is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3857-3857 Cultural cooperation is an organizational objective of united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3854-3854 Economic development is an organizational objective of united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3856-3856 Humanitarian aid is an organizational objective of united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3853-3853 International peace and security is an organizational objective of united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3855-3855 Social development is an organizational objective of united nations

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3851-3851 "UN" is an abbreviation of united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3850-3850 United nations is a conventional long name of "United Nations"
No TPTP formula. May not be expressible in strict first order. Government.kif 3056-3056 Economic and social council is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3396-3396 International bank for reconstruction and development is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3410-3410 International civil aviation organization is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3437-3437 International court of justice is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3470-3470 International development association is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3495-3495 International finance corporation is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3509-3509 International fund for agricultural development is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3524-3524 International labor organization is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3541-3541 International maritime organization is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3548-3548 International monetary fund is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3598-3598 International telecommunication union is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3927-3927 United nations general assembly is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 4150-4150 United nations secretariat is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 4162-4162 United nations security council is a part of the organization united nations
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60029-60029
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60028-60028
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60027-60027


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