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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedNationsSecurityCouncil
UnitedNationsSecurityCouncil(united nations security council)
SC, Security_Council

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4172-4172 The day 26 is a date established of united nations security council
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5688-5688
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5822-5822
No TPTP formula. May not be expressible in strict first order. Government.kif 4170-4170 United nations security council is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 4173-4173 International peace and security is an organizational objective of united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4174-4174 United nations security council is a part of the organization united nations

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4171-4171 United nations security council is a conventional long name of "United Nations Security Council"
No TPTP formula. May not be expressible in strict first order. Government.kif 4176-4176 International criminal tribunal for rwanda is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4175-4175 International criminal tribunal for the former yugoslavia is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4177-4177 United nations compensation commission is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4178-4178 United nations disengagement observer force is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4179-4179 United nations interim administration mission in kosovo is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4180-4180 United nations interim force in lebanon is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4181-4181 United nations iraq kuwait boundary demarcation commission is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4182-4182 United nations iraq kuwait observation mission is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4183-4183 United nations military observer group in india and pakistan is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4184-4184 United nations mission for the referendum in western sahara is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4185-4185 United nations mission in bosnia and herzegovina is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4186-4186 United nations mission in ethiopia and eritrea is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4187-4187 United nations mission in sierra leone is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4188-4188 United nations mission of observers in prevlaka is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4189-4189 United nations monitoring and verification commission is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4190-4190 United nations observer mission in georgia is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4191-4191 United nations organization mission in the democratic republic of the congo is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4192-4192 United nations peace keeping force in cyprus is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4193-4193 United nations transitional administration in east timor is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. Government.kif 4194-4194 United nations truce supervision organization is a part of the organization united nations security council
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60263-60263
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60262-60262
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60261-60261


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