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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subOrganization
subOrganization

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


(documentation subOrganization ChineseLanguage "(subOrganization ?ORG1 ?ORG2)的意思是 ?ORG1 是一家 Organization，而它是 Organization ?ORG2 的一部分。注：subOrganization 属于 一种 ReflexiveRelation，所以每一个 Organization 都是他自己的 subOrganization。") chinese_format.kif 3751-3753
(documentation subOrganization EnglishLanguage "(subOrganization ?ORG1 ?ORG2) means that ?ORG1 is an Organization which is a part of the Organization ?ORG2. Note that subOrganization is a ReflexiveRelation, so every Organization is a subOrganization of itself.") Merge.kif 16745-16748
(domain subOrganization 1 Organization) Merge.kif 16743-16743 Le nombre 1 argument de subOrganization est une instance de organisation
(domain subOrganization 2 Organization) Merge.kif 16744-16744 Le nombre 2 argument de subOrganization est une instance de organisation
(instance subOrganization PartialOrderingRelation) Merge.kif 16742-16742 subOrganization est une instance de relation partiellement dirig�e
(subrelation subOrganization subCollection) Merge.kif 16741-16741 subOrganization est une sous-relation de subCollection

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


(disjointRelation ancestorOrganization subOrganization) Mid-level-ontology.kif 24170-24170 ancestorOrganization et subOrganization sont disjoint
(format ChineseLanguage subOrganization "%1 %n 是 %2 Organization 的一部分") chinese_format.kif 810-810
(format ChineseLanguage subOrganization "%1 %n 是 %2 机构 的一 part") chinese_format.kif 549-549
(format EnglishLanguage subOrganization "%1 is %n a part of the organization %2") english_format.kif 554-554
(format EnglishLanguage subOrganization "%1 is %n a part of the organization %2") english_format.kif 823-823
(format FrenchLanguage subOrganization "%1 est %n une partie de l'organization %2") french_format.kif 322-322
(format FrenchLanguage subOrganization "%1 est %n une partie de l'organization %2") french_format.kif 486-486
(format JapaneseLanguage subOrganization "%1 は組織 %2 の part では %n") japanese_format.kif 2090-2090
(format JapaneseLanguage subOrganization "%1 は組織 %2 の一部では %n") english_format.kif 824-824
(format PortugueseLanguage subOrganization "%1 e' %n uma &parte da organizacao %2") portuguese_format.kif 274-274
(format PortugueseLanguage subOrganization "%1 e' %n uma parte da organizacao %2") portuguese_format.kif 438-438
(format ro subOrganization "%1 %n{nu} este o part%t{parte} a organizaþiei %2") relations-ro.kif 343-343
(format ro subOrganization "%1 %n{nu} este o parte a organizaþiei %2") relations-ro.kif 508-508
(subrelation chamberOfLegislature subOrganization) Government.kif 2060-2060 chamberOfLegislature est une sous-relation de subOrganization
(termFormat ChineseLanguage subOrganization "子机构") chinese_format.kif 550-550
(termFormat ChineseLanguage subOrganization "子组织") domainEnglishFormat.kif 55764-55764
(termFormat ChineseTraditionalLanguage subOrganization "子組織") domainEnglishFormat.kif 55763-55763
(termFormat EnglishLanguage subOrganization "sub organization") domainEnglishFormat.kif 55762-55762

antecedent
-------------------------


(=>
    (and
        (attribute ?ORG UnicameralLegislature)
        (legislativeBranch ?ORG ?AREA)
        (instance ?CHAMBER1 LegislativeChamber)
        (subOrganization ?CHAMBER1
            (GovernmentFn ?AREA))
        (instance ?CHAMBER2 LegislativeChamber)
        (subOrganization ?CHAMBER2
            (GovernmentFn ?AREA)))
    (equal ?CHAMBER1 ?CHAMBER2))		 Government.kif 1977-1985
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Nation)
        (instance ?ORG DiplomaticOrganization)
        (subOrganization ?ORG
            (GovernmentFn ?AGENT1))
        (occupiesPosition ?PERSON ?POSITION ?ORG)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?ORG ?AGENT2))		 Government.kif 4511-4519
(=>
    (and
        (equal ?DEP
            (DepartmentOfFn ?COMP ?PHYS))
        (subOrganization ?DEP2 ?COMP)
        (not
            (equal ?DEP ?DEP2))
        (instance ?I ?PHYS)
        (inScopeOfInterest ?DEP ?I)
        (equal ?P1
            (ProbabilityFn
                (agent ?P ?DEP)))
        (equal ?P2
            (ProbabilityFn
                (agent ?P ?DEP2))))
    (greaterThan ?P1 ?P2))		 Mid-level-ontology.kif 18343-18358
(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process)
        (subOrganization ?DEP ?COMP))
    (inhibits ?DEP ?PHYS))		 Mid-level-ontology.kif 18401-18406
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 1313-1318
(=>
    (and
        (instance ?CAB GovernmentCabinet)
        (subOrganization ?CAB
            (GovernmentFn ?AREA))
        (instance ?AREA GeopoliticalArea))
    (hasPurpose ?CAB
        (exists (?ADVICE ?LEADER)
            (and
                (instance ?ADVICE Stating)
                (agent ?ADVICE ?CAB)
                (patient ?ADVICE ?LEADER)
                (leader ?LEADER
                    (GovernmentFn ?AREA))))))		 Government.kif 1513-1524
(=>
    (and
        (instance ?COURT SupremeCourt)
        (subOrganization ?COURT
            (GovernmentFn ?COUNTRY))
        (instance ?COUNTRY Nation))
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY)))		 Government.kif 2191-2196
(=>
    (and
        (instance ?GOV Government)
        (subOrganization ?ORG ?GOV))
    (instance ?ORG GovernmentOrganization))		 Merge.kif 16691-16695
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 AirForce))
    (leaderPosition ?FORCE1 JointForcesAirCommander))		 MilitaryPersons.kif 371-376
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 Army))
    (leaderPosition ?FORCE1 JointForcesLandCommander))		 MilitaryPersons.kif 393-398
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 CoastGuard))
    (leaderPosition ?FORCE1 JointForcesMaritimeCommander))		 MilitaryPersons.kif 425-430
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 NavyBranchOfService))
    (leaderPosition ?FORCE1 JointForcesMaritimeCommander))		 MilitaryPersons.kif 417-422
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 SpecialOperationsForces))
    (leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander))		 MilitaryPersons.kif 446-451
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (leaderPosition ?FORCE1 ?COMMANDER1)
        (leaderPosition ?JOINT ?JOINTCOMMANDER))
    (subordinatePosition ?JOINT ?COMMANDER1 ?JOINTCOMMANDER))		 MilitaryProcesses.kif 1751-1757
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (subOrganization ?FORCE2 ?JOINT)
        (not
            (equal ?FORCE1 ?FORCE2))
        (leaderPosition ?JOINT ?JOINTCOMMANDER))
    (and
        (leaderPosition ?FORCE1 ?JOINTCOMMANDER)
        (leaderPosition ?FORCE2 ?JOINTCOMMANDER)))		 MilitaryProcesses.kif 1736-1746
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Government.kif 2085-2090
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Government.kif 1930-1935
(=>
    (and
        (instance ?UNIT SecurityUnit)
        (subOrganization ?UNIT ?ORG))
    (holdsObligation
        (exists (?MAINTAIN)
            (and
                (instance ?MAINTAIN Maintaining)
                (agent ?MAINTAIN ?UNIT)
                (patient ?MAINTAIN ?ORG))) ?UNIT))		 Mid-level-ontology.kif 8526-8536
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 2130-2135
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Merge.kif 16697-16701

consequent
-------------------------


(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))		 Government.kif 108-115 Organisation est une instance de GovernmentOrganization organisation est une instance de gouvernement organisation organisation est une instance de gouvernement organisation est une partie de l'organization organisation
(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (instance ?AGENT1 Nation)
        (instance ?AGENT2 GeopoliticalArea))
    (exists (?ORG)
        (and
            (instance ?ORG ?TYPE)
            (located ?ORG ?AGENT2)
            (subOrganization ?ORG
                (GovernmentFn ?AGENT1)))))		 Government.kif 4648-4657
(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (exists (?ORG)
        (and
            (instance ?ORG ?TYPE)
            (located ?ORG ?AGENT2)
            (subOrganization ?ORG ?AGENT1))))		 Government.kif 4658-4667
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Nation))
    (exists (?ORG)
        (and
            (instance ?ORG DiplomaticOrganization)
            (subOrganization ?ORG
                (GovernmentFn ?AGENT1))
            (occupiesPosition ?PERSON ?POSITION ?ORG))))		 Government.kif 4470-4478
(=>
    (and
        (element ?ROOM
            (PropertyFn ?HOTEL))
        (attribute ?ROOM AnnexRoom)
        (instance ?ROOM HotelRoom))
    (exists (?BLDG1 ?BLDG2 ?FRNT)
        (and
            (subOrganization ?FRNT ?HOTEL)
            (instance ?FRNT HotelFrontDesk)
            (located ?FRNT ?BLDG1)
            (element ?BLDG1
                (PropertyFn ?HOTEL))
            (element ?BLDG2
                (PropertyFn ?HOTEL))
            (part ?ROOM ?BLDG2)
            (not
                (equal ?BLDG1 ?BLDG2)))))		 Hotel.kif 1127-1140
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 1313-1318
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 1307-1311
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))		 Government.kif 1301-1305
(=>
    (and
        (governmentType ?PLACE ?TYPE)
        (instance ?PLACE GeopoliticalArea)
        (subAttribute ?TYPE ParliamentaryGovernment))
    (exists (?ORG)
        (and
            (instance ?ORG Parliament)
            (subOrganization ?ORG
                (GovernmentFn ?PLACE)))))		 Government.kif 256-264
(=>
    (and
        (instance ?EV Evacuation)
        (agent ?EV ?A)
        (experiencer ?EV ?P))
    (exists (?C ?CA)
        (and
            (instance ?C Classifying)
            (subProcess ?C ?EV)
            (experiencer ?C ?P)
            (or
                (subOrganization ?CA ?A)
                (member ?CA ?A)
                (equal ?CA ?A))
            (agent ?C ?CA))))		 MilitaryProcesses.kif 2609-2623
(=>
    (and
        (instance ?EV Evacuation)
        (agent ?EV ?A)
        (origin ?EV ?O))
    (exists (?T ?TA)
        (and
            (instance ?T Translocation)
            (subProcess ?T ?EV)
            (origin ?T ?O)
            (or
                (experiencer ?T ?TA)
                (agent ?T ?TA))
            (or
                (subOrganization ?TA ?A)
                (member ?TA ?A)
                (equal ?TA ?A)))))		 MilitaryProcesses.kif 2627-2643
(=>
    (and
        (instance ?EV Evacuation)
        (experiencer ?EV ?P)
        (agent ?EV ?A))
    (exists (?M ?MA)
        (and
            (instance ?M TherapeuticProcess)
            (subProcess ?M ?EV)
            (or
                (subOrganization ?MA ?A)
                (member ?MA ?A)
                (equal ?MA ?A))
            (agent ?M ?MA)
            (experiencer ?M ?P))))		 MilitaryProcesses.kif 2591-2605
(=>
    (and
        (instance ?EV Evacuation)
        (origin ?EV ?O)
        (agent ?EV ?A))
    (exists (?M ?MA)
        (and
            (instance ?M Maintaining)
            (eventLocated ?M ?O)
            (subProcess ?M ?EV)
            (or
                (subOrganization ?MA ?A)
                (member ?MA ?A)
                (equal ?MA ?A))
            (agent ?M ?MA))))		 MilitaryProcesses.kif 2573-2587
(=>
    (and
        (instance ?EV Evacuation)
        (origin ?EV ?O)
        (agent ?EV ?A))
    (exists (?T ?TA)
        (and
            (instance ?T Transportation)
            (destination ?T ?O)
            (or
                (subOrganization ?TA ?A)
                (member ?TA ?A)
                (equal ?TA ?A))
            (or
                (agent ?T ?TA)
                (patient ?T ?TA)))))		 MilitaryProcesses.kif 2554-2569
(=>
    (and
        (instance ?M OrganizationalMerging)
        (patient ?M ?ORG1)
        (patient ?M ?ORG2)
        (not
            (equal ?ORG1 ?ORG2)))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?M))
            (not
                (exists (?S1)
                    (and
                        (subOrganization ?ORG1 ?S1)
                        (subOrganization ?ORG2 ?S1)))))
        (holdsDuring
            (EndFn
                (WhenFn ?M))
            (exists (?S2)
                (and
                    (subOrganization ?ORG1 ?S2)
                    (subOrganization ?ORG2 ?S2))))))		 Mid-level-ontology.kif 16305-16324
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 2130-2135
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 2124-2128
(=>
    (and
        (judicialBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))		 Government.kif 2118-2122
(=>
    (and
        (legislativeBranch ?ORG ?AGENT)
        (instance ?AGENT Organization))
    (subOrganization ?ORG ?AGENT))		 Government.kif 2023-2027
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 2029-2033
(=>
    (and
        (subEchelon ?MUClass1 ?MUClass2)
        (instance ?MU1 ?MUClass1))
    (exists (?MU2)
        (and
            (instance ?MU2 ?MUClass2)
            (subOrganization ?MU1 ?MU2))))		 Military.kif 693-700
(=>
    (and
        (subclass ?PUB JointPublication)
        (instance ?ONE ?PUB)
        (containsInformation ?ONE ?CONTENT)
        (authors ?JORG ?PUB))
    (exists (?ORG)
        (and
            (subOrganization ?ORG USMilitary)
            (confersObligation ?CONTENT ?JORG ?ORG))))		 MilitaryProcesses.kif 940-949
(=>
    (attribute ?U ExpeditionaryForce)
    (hasPurpose ?U
        (exists (?B ?C ?FC)
            (and
                (subOrganization ?U
                    (GovernmentFn ?C))
                (instance ?B Battle)
                (agent ?B ?U)
                (instance ?FC Nation)
                (located ?B ?FC)
                (not
                    (equal ?C ?FC))))))		 MilitaryPersons.kif 712-724
(=>
    (businessUnit ?BU ?ORG)
    (subOrganization ?BU ?ORG))		 UXExperimentalTerms.kif 2559-2561
(=>
    (hostileForces ?U1 ?U2)
    (exists (?WAR ?A1 ?A2)
        (and
            (instance ?WAR War)
            (contestParticipant ?WAR ?A1)
            (contestParticipant ?WAR ?A2)
            (subOrganization ?U1
                (GovernmentFn ?A1))
            (subOrganization ?U2
                (GovernmentFn ?A2)))))		 Mid-level-ontology.kif 8427-8435

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(subOrganization Aetna CVS) Medicine.kif 5558-5558 Aetna est une partie de l'organization CVS
(subOrganization CommissionForSocialDevelopment EconomicAndSocialCouncil) Government.kif 3077-3077 CommissionForSocialDevelopment est une partie de l'organization EconomicAndSocialCouncil
(subOrganization CommissionOnCrimePreventionAndCriminalJustice EconomicAndSocialCouncil) Government.kif 3079-3079 CommissionOnCrimePreventionAndCriminalJustice est une partie de l'organization EconomicAndSocialCouncil
(subOrganization CommissionOnHumanRights EconomicAndSocialCouncil) Government.kif 3081-3081 CommissionOnHumanRights est une partie de l'organization EconomicAndSocialCouncil
(subOrganization CommissionOnNarcoticsDrugs EconomicAndSocialCouncil) Government.kif 3083-3083 CommissionOnNarcoticsDrugs est une partie de l'organization EconomicAndSocialCouncil
(subOrganization CommissionOnPopulationAndDevelopment EconomicAndSocialCouncil) Government.kif 3085-3085 CommissionOnPopulationAndDevelopment est une partie de l'organization EconomicAndSocialCouncil
(subOrganization CommissionOnScienceAndTechnologyForDevelopment EconomicAndSocialCouncil) Government.kif 3087-3087 CommissionOnScienceAndTechnologyForDevelopment est une partie de l'organization EconomicAndSocialCouncil
(subOrganization CommissionOnSustainableDevelopment EconomicAndSocialCouncil) Government.kif 3089-3089 CommissionOnSustainableDevelopment est une partie de l'organization EconomicAndSocialCouncil
(subOrganization CommissionOnTheStatusOfWomen EconomicAndSocialCouncil) Government.kif 3091-3091 CommissionOnTheStatusOfWomen est une partie de l'organization EconomicAndSocialCouncil
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))		 Government.kif 4828-4828 DepartmentOfHomelandSecurity est une partie de l'organization le gouvernment de UnitedStates
(subOrganization EconomicAndSocialCommissionForAsiaAndThePacific EconomicAndSocialCouncil) Government.kif 3093-3093 EconomicAndSocialCommissionForAsiaAndThePacific est une partie de l'organization EconomicAndSocialCouncil
(subOrganization EconomicAndSocialCommissionForWesternAsia EconomicAndSocialCouncil) Government.kif 3095-3095 EconomicAndSocialCommissionForWesternAsia est une partie de l'organization EconomicAndSocialCouncil
(subOrganization EconomicAndSocialCouncil UnitedNations) Government.kif 3076-3076 EconomicAndSocialCouncil est une partie de l'organization UnitedNations
(subOrganization EconomicCommissionForAfrica EconomicAndSocialCouncil) Government.kif 3097-3097 EconomicCommissionForAfrica est une partie de l'organization EconomicAndSocialCouncil
(subOrganization EconomicCommissionForEurope EconomicAndSocialCouncil) Government.kif 3099-3099 EconomicCommissionForEurope est une partie de l'organization EconomicAndSocialCouncil
(subOrganization EconomicCommissionForLatinAmericaAndTheCaribbean EconomicAndSocialCouncil) Government.kif 3101-3101 EconomicCommissionForLatinAmericaAndTheCaribbean est une partie de l'organization EconomicAndSocialCouncil
(subOrganization FitbitCompany Google) Medicine.kif 4472-4472 FitbitCompany est une partie de l'organization Google
(subOrganization FoodAndAgricultureOrganization EconomicAndSocialCouncil) Government.kif 3103-3103 FoodAndAgricultureOrganization est une partie de l'organization EconomicAndSocialCouncil
(subOrganization GoogleCorporation AlphabetCorporation) ComputingBrands.kif 17-17 GoogleCorporation est une partie de l'organization AlphabetCorporation
(subOrganization HoldenCorporation GeneralMotorsCorp) Cars.kif 4503-4503 HoldenCorporation est une partie de l'organization GeneralMotorsCorp
(subOrganization InternationalAtomicEnergyAgency EconomicAndSocialCouncil) Government.kif 3104-3104 InternationalAtomicEnergyAgency est une partie de l'organization EconomicAndSocialCouncil
(subOrganization InternationalBankForReconstructionAndDevelopment EconomicAndSocialCouncil) Government.kif 3105-3105 InternationalBankForReconstructionAndDevelopment est une partie de l'organization EconomicAndSocialCouncil
(subOrganization InternationalBankForReconstructionAndDevelopment UnitedNations) Government.kif 3416-3416 InternationalBankForReconstructionAndDevelopment est une partie de l'organization UnitedNations
(subOrganization InternationalBankForReconstructionAndDevelopment WorldBankGroup) Government.kif 4319-4319 InternationalBankForReconstructionAndDevelopment est une partie de l'organization WorldBankGroup
(subOrganization InternationalCenterForSecretariatOfInvestmentDisputes EconomicAndSocialCouncil) Government.kif 3106-3106 InternationalCenterForSecretariatOfInvestmentDisputes est une partie de l'organization EconomicAndSocialCouncil

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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