Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  batchInterArrival

 Sigma KEE - UnitedNationsEnvironmentProgram
UnitedNationsEnvironmentProgram(united nations environment program)

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


(instance UnitedNationsEnvironmentProgram OrganizationOfNations) Government.kif 3923-3923 United nations environment program is an instance of organization of nations
(dateEstablished UnitedNationsEnvironmentProgram
    (DayFn 15
        (MonthFn December
            (YearFn 1972))))		 Government.kif 3926-3926 The day 15 of month the month December is a date established of united nations environment program
(organizationalObjective UnitedNationsEnvironmentProgram EnvironmentalCooperation) Government.kif 3927-3927 Environmental cooperation is an organizational objective of united nations environment program
(subOrganization UnitedNationsEnvironmentProgram UnitedNationsGeneralAssembly) Government.kif 3943-3943 United nations environment program is a part of the organization united nations general assembly

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


(conventionalLongName "United Nations Environment Program" UnitedNationsEnvironmentProgram) Government.kif 3924-3924 United nations environment program is a conventional long name of "United Nations Environment Program"
(abbreviation "UNEP" UnitedNationsEnvironmentProgram) Government.kif 3925-3925 "UNEP" is an abbreviation of united nations environment program
(termFormat EnglishLanguage UnitedNationsEnvironmentProgram "united nations environment program") domainEnglishFormat.kif 60101-60101 "UNEP" is an abbreviation of united nations environment program
(termFormat ChineseTraditionalLanguage UnitedNationsEnvironmentProgram "聯合國環境計劃") domainEnglishFormat.kif 60102-60102 "UNEP" is an abbreviation of united nations environment program
(termFormat ChineseLanguage UnitedNationsEnvironmentProgram "联合国环境计划") domainEnglishFormat.kif 60103-60103 "UNEP" is an abbreviation of united nations environment program


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners