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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedNationsSecurityCouncil

Sigma KEE - UnitedNationsSecurityCouncil
UnitedNationsSecurityCouncil

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4180-4180 dateEstablished UnitedNationsSecurityCouncil and le jour 26
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5687-5687
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5821-5821
No TPTP formula. May not be expressible in strict first order. Government.kif 4178-4178 UnitedNationsSecurityCouncil est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 4181-4181 organizationalObjective UnitedNationsSecurityCouncil and InternationalPeaceAndSecurity
No TPTP formula. May not be expressible in strict first order. Government.kif 4182-4182 UnitedNationsSecurityCouncil est une partie de l'organization UnitedNations

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4179-4179 conventionalLongName "United Nations Security Council" and UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4184-4184 InternationalCriminalTribunalForRwanda est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4183-4183 InternationalCriminalTribunalForTheFormerYugoslavia est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4185-4185 UnitedNationsCompensationCommission est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4186-4186 UnitedNationsDisengagementObserverForce est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4187-4187 UnitedNationsInterimAdministrationMissionInKosovo est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4188-4188 UnitedNationsInterimForceInLebanon est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4189-4189 UnitedNationsIraqKuwaitBoundaryDemarcationCommission est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4190-4190 UnitedNationsIraqKuwaitObservationMission est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4191-4191 UnitedNationsMilitaryObserverGroupInIndiaAndPakistan est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4192-4192 UnitedNationsMissionForTheReferendumInWesternSahara est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4193-4193 UnitedNationsMissionInBosniaAndHerzegovina est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4194-4194 UnitedNationsMissionInEthiopiaAndEritrea est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4195-4195 UnitedNationsMissionInSierraLeone est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4196-4196 UnitedNationsMissionOfObserversInPrevlaka est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4197-4197 UnitedNationsMonitoringAndVerificationCommission est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4198-4198 UnitedNationsObserverMissionInGeorgia est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4199-4199 UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4200-4200 UnitedNationsPeaceKeepingForceInCyprus est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4201-4201 UnitedNationsTransitionalAdministrationInEastTimor est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 4202-4202 UnitedNationsTruceSupervisionOrganization est une partie de l'organization UnitedNationsSecurityCouncil
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60296-60296
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60295-60295
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60294-60294


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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