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 16905-16908
(domain subOrganization 1 Organization) Merge.kif 16903-16903 subOrganization の数値 1 引数は 組織 の instance では
(domain subOrganization 2 Organization) Merge.kif 16904-16904 subOrganization の数値 2 引数は 組織 の instance では
(instance subOrganization PartialOrderingRelation) Merge.kif 16902-16902 subOrganization は 半順序関係 の instance では
(subrelation subOrganization subCollection) Merge.kif 16901-16901 subOrganization は subCollection の subrelation では

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


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

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 1939-1947
(=>
    (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 4472-4480
(=>
    (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 19914-19929
(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process)
        (subOrganization ?DEP ?COMP))
    (inhibits ?DEP ?PHYS))		 Mid-level-ontology.kif 19972-19977
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 1275-1280
(=>
    (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 1475-1486
(=>
    (and
        (instance ?COURT SupremeCourt)
        (subOrganization ?COURT
            (GovernmentFn ?COUNTRY))
        (instance ?COUNTRY Nation))
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY)))		 Government.kif 2152-2157
(=>
    (and
        (instance ?GOV Government)
        (subOrganization ?ORG ?GOV))
    (instance ?ORG GovernmentOrganization))		 Merge.kif 16851-16855
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 AirForce))
    (leaderPosition ?FORCE1 JointForcesAirCommander))		 MilitaryPersons.kif 382-387
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 Army))
    (leaderPosition ?FORCE1 JointForcesLandCommander))		 MilitaryPersons.kif 404-409
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 CoastGuard))
    (leaderPosition ?FORCE1 JointForcesMaritimeCommander))		 MilitaryPersons.kif 436-441
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 NavyBranchOfService))
    (leaderPosition ?FORCE1 JointForcesMaritimeCommander))		 MilitaryPersons.kif 428-433
(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 SpecialOperationsForces))
    (leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander))		 MilitaryPersons.kif 457-462
(=>
    (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 2047-2052
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Government.kif 1892-1897
(=>
    (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 9732-9742
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 2092-2097
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))		 Merge.kif 16857-16861

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


(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))		 Government.kif 108-115 組織 は GovernmentOrganization の instance では 組織 は 政府 の instance では 組織 組織 は 政府 の instance では 組織 は組織 組織 の一部では
(=>
    (and
        (attribute ?X BlueforceControlled)
        (instance ?X Object))
    (exists (?A)
        (and
            (instance ?A GovernmentOrganization)
            (possesses ?A ?X)
            (or
                (subOrganization ?A
                    (GovernmentFn UnitedStates))
                (allied ?A
                    (GovernmentFn UnitedStates))))))		 MilitaryProcesses.kif 2808-2820
(=>
    (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 4609-4618
(=>
    (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 4619-4628
(=>
    (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 4431-4439
(=>
    (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 1135-1148
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 1275-1280
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 1269-1273
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))		 Government.kif 1263-1267
(=>
    (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 2643-2657
(=>
    (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 2661-2677
(=>
    (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 2625-2639
(=>
    (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 2607-2621
(=>
    (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 2588-2603
(=>
    (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 17692-17711
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 2092-2097
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))		 Government.kif 2086-2090
(=>
    (and
        (judicialBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))		 Government.kif 2080-2084
(=>
    (and
        (legislativeBranch ?ORG ?AGENT)
        (instance ?AGENT Organization))
    (subOrganization ?ORG ?AGENT))		 Government.kif 1985-1989
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))		 Government.kif 1991-1995
(=>
    (and
        (subEchelon ?MUClass1 ?MUClass2)
        (instance ?MU1 ?MUClass1))
    (exists (?MU2)
        (and
            (instance ?MU2 ?MUClass2)
            (subOrganization ?MU1 ?MU2))))		 Military.kif 770-777
(=>
    (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
(=>
    (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 9633-9641

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 5567-5567 Aetna は組織 CVS の一部では
(subOrganization CommissionForSocialDevelopment EconomicAndSocialCouncil) Government.kif 3038-3038 CommissionForSocialDevelopment は組織 EconomicAndSocialCouncil の一部では
(subOrganization CommissionOnCrimePreventionAndCriminalJustice EconomicAndSocialCouncil) Government.kif 3040-3040 CommissionOnCrimePreventionAndCriminalJustice は組織 EconomicAndSocialCouncil の一部では
(subOrganization CommissionOnHumanRights EconomicAndSocialCouncil) Government.kif 3042-3042 CommissionOnHumanRights は組織 EconomicAndSocialCouncil の一部では
(subOrganization CommissionOnNarcoticsDrugs EconomicAndSocialCouncil) Government.kif 3044-3044 CommissionOnNarcoticsDrugs は組織 EconomicAndSocialCouncil の一部では
(subOrganization CommissionOnPopulationAndDevelopment EconomicAndSocialCouncil) Government.kif 3046-3046 CommissionOnPopulationAndDevelopment は組織 EconomicAndSocialCouncil の一部では
(subOrganization CommissionOnScienceAndTechnologyForDevelopment EconomicAndSocialCouncil) Government.kif 3048-3048 CommissionOnScienceAndTechnologyForDevelopment は組織 EconomicAndSocialCouncil の一部では
(subOrganization CommissionOnSustainableDevelopment EconomicAndSocialCouncil) Government.kif 3050-3050 CommissionOnSustainableDevelopment は組織 EconomicAndSocialCouncil の一部では
(subOrganization CommissionOnTheStatusOfWomen EconomicAndSocialCouncil) Government.kif 3052-3052 CommissionOnTheStatusOfWomen は組織 EconomicAndSocialCouncil の一部では
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))		 Government.kif 4789-4789 DepartmentOfHomelandSecurity は組織 UnitedStates の government の一部では
(subOrganization EconomicAndSocialCommissionForAsiaAndThePacific EconomicAndSocialCouncil) Government.kif 3054-3054 EconomicAndSocialCommissionForAsiaAndThePacific は組織 EconomicAndSocialCouncil の一部では
(subOrganization EconomicAndSocialCommissionForWesternAsia EconomicAndSocialCouncil) Government.kif 3056-3056 EconomicAndSocialCommissionForWesternAsia は組織 EconomicAndSocialCouncil の一部では
(subOrganization EconomicAndSocialCouncil UnitedNations) Government.kif 3037-3037 EconomicAndSocialCouncil は組織 UnitedNations の一部では
(subOrganization EconomicCommissionForAfrica EconomicAndSocialCouncil) Government.kif 3058-3058 EconomicCommissionForAfrica は組織 EconomicAndSocialCouncil の一部では
(subOrganization EconomicCommissionForEurope EconomicAndSocialCouncil) Government.kif 3060-3060 EconomicCommissionForEurope は組織 EconomicAndSocialCouncil の一部では
(subOrganization EconomicCommissionForLatinAmericaAndTheCaribbean EconomicAndSocialCouncil) Government.kif 3062-3062 EconomicCommissionForLatinAmericaAndTheCaribbean は組織 EconomicAndSocialCouncil の一部では
(subOrganization FitbitCompany Google) Medicine.kif 4479-4479 FitbitCompany は組織 Google の一部では
(subOrganization FoodAndAgricultureOrganization EconomicAndSocialCouncil) Government.kif 3064-3064 FoodAndAgricultureOrganization は組織 EconomicAndSocialCouncil の一部では
(subOrganization GoogleCorporation AlphabetCorporation) ComputingBrands.kif 17-17 GoogleCorporation は組織 Alphabet の一部では
(subOrganization HoldenCorporation GeneralMotorsCorp) Cars.kif 4564-4564 HoldenCorporation は組織 GeneralMotorsCorp の一部では
(subOrganization InternationalAtomicEnergyAgency EconomicAndSocialCouncil) Government.kif 3065-3065 InternationalAtomicEnergyAgency は組織 EconomicAndSocialCouncil の一部では
(subOrganization InternationalBankForReconstructionAndDevelopment EconomicAndSocialCouncil) Government.kif 3066-3066 InternationalBankForReconstructionAndDevelopment は組織 EconomicAndSocialCouncil の一部では
(subOrganization InternationalBankForReconstructionAndDevelopment UnitedNations) Government.kif 3377-3377 InternationalBankForReconstructionAndDevelopment は組織 UnitedNations の一部では
(subOrganization InternationalBankForReconstructionAndDevelopment WorldBankGroup) Government.kif 4280-4280 InternationalBankForReconstructionAndDevelopment は組織 WorldBankGroup の一部では
(subOrganization InternationalCenterForSecretariatOfInvestmentDisputes EconomicAndSocialCouncil) Government.kif 3067-3067 InternationalCenterForSecretariatOfInvestmentDisputes は組織 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