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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo

Sigma KEE - UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo
UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4123-4123 dateEstablished UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo and o dia 30
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5818-5818
No TPTP formula. May not be expressible in strict first order. Government.kif 4120-4120 UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 4124-4124 organizationalObjective UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo and ObservationAndMonitoring
No TPTP formula. May not be expressible in strict first order. Government.kif 4199-4199 UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo e' uma parte da organizacao UnitedNationsSecurityCouncil

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4122-4122 abbreviation "MONUC" and UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo
No TPTP formula. May not be expressible in strict first order. Government.kif 4121-4121 conventionalLongName "United Nations Organization Mission in the Democratic Republic of the Congo" and UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60254-60254
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60253-60253
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60252-60252


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