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 16826-16829
(domain subOrganization 1 Organization) Merge.kif 16824-16824 子机构 的 1 数量 是 机构 的 instance
(domain subOrganization 2 Organization) Merge.kif 16825-16825 子机构 的 2 数量 是 机构 的 instance
(instance subOrganization PartialOrderingRelation) Merge.kif 16823-16823 子机构 是 偏序关系 的 instance
(subrelation subOrganization subCollection) Merge.kif 16822-16822 子机构 是 子集 的 subrelation

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


(disjointRelation ancestorOrganization subOrganization) Mid-level-ontology.kif 24490-24490 祖先组织 和 子机构 是 disjoint 关系
(format ChineseLanguage subOrganization "%1 %n 是 %2 Organization 的一部分") chinese_format.kif 810-810 祖先组织 和 子机构 是 disjoint 关系
(format ChineseLanguage subOrganization "%1 %n 是 %2 机构 的一 part") chinese_format.kif 549-549 祖先组织 和 子机构 是 disjoint 关系
(format EnglishLanguage subOrganization "%1 is %n a part of the organization %2") english_format.kif 554-554 祖先组织 和 子机构 是 disjoint 关系
(format EnglishLanguage subOrganization "%1 is %n a part of the organization %2") english_format.kif 823-823 祖先组织 和 子机构 是 disjoint 关系
(format FrenchLanguage subOrganization "%1 est %n une partie de l'organization %2") french_format.kif 322-322 祖先组织 和 子机构 是 disjoint 关系
(format FrenchLanguage subOrganization "%1 est %n une partie de l'organization %2") french_format.kif 486-486 祖先组织 和 子机构 是 disjoint 关系
(format JapaneseLanguage subOrganization "%1 は組織 %2 の part では %n") japanese_format.kif 2090-2090 祖先组织 和 子机构 是 disjoint 关系
(format JapaneseLanguage subOrganization "%1 は組織 %2 の一部では %n") english_format.kif 824-824 祖先组织 和 子机构 是 disjoint 关系
(format PortugueseLanguage subOrganization "%1 e' %n uma &parte da organizacao %2") portuguese_format.kif 274-274 祖先组织 和 子机构 是 disjoint 关系
(format PortugueseLanguage subOrganization "%1 e' %n uma parte da organizacao %2") portuguese_format.kif 438-438 祖先组织 和 子机构 是 disjoint 关系
(format ro subOrganization "%1 %n{nu} este o part%t{parte} a organizaþiei %2") relations-ro.kif 343-343 祖先组织 和 子机构 是 disjoint 关系
(format ro subOrganization "%1 %n{nu} este o parte a organizaþiei %2") relations-ro.kif 508-508 祖先组织 和 子机构 是 disjoint 关系
(subrelation chamberOfLegislature subOrganization) Government.kif 2022-2022 立法机关 是 子机构 的 subrelation
(termFormat ChineseLanguage subOrganization "子机构") chinese_format.kif 550-550 立法机关 是 子机构 的 subrelation
(termFormat ChineseLanguage subOrganization "子组织") domainEnglishFormat.kif 55799-55799 立法机关 是 子机构 的 subrelation
(termFormat ChineseTraditionalLanguage subOrganization "子組織") domainEnglishFormat.kif 55798-55798 立法机关 是 子机构 的 subrelation
(termFormat EnglishLanguage subOrganization "sub organization") domainEnglishFormat.kif 55797-55797 立法机关 是 子机构 的 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 4473-4481
(=>
    (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 18633-18648
(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process)
        (subOrganization ?DEP ?COMP))
    (inhibits ?DEP ?PHYS))		 Mid-level-ontology.kif 18691-18696
(=>
    (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 2153-2158
(=>
    (and
        (instance ?GOV Government)
        (subOrganization ?ORG ?GOV))
    (instance ?ORG GovernmentOrganization))		 Merge.kif 16772-16776
(=>
    (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 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 8744-8754
(=>
    (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 16778-16782

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


(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))		 Government.kif 108-115 机构 是 政府组织 的 instance 若且唯若 那个 机构 是 政府 的 instance 或 有存在 另一个 机构 这样 那个 另外 机构 是 政府 的 instance 和 那个 机构 是 那个 另外 机构 Organization 的一部分
(=>
    (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 2825-2837
(=>
    (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 4610-4619
(=>
    (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 4620-4629
(=>
    (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 4432-4440
(=>
    (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 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 2661-2675
(=>
    (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 2679-2695
(=>
    (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 2643-2657
(=>
    (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 2625-2639
(=>
    (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 2606-2621
(=>
    (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 16555-16574
(=>
    (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 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

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 是 CVS Organization 的一部分
(subOrganization CommissionForSocialDevelopment EconomicAndSocialCouncil) Government.kif 3039-3039 社会发展委员会 是 经济和社会理事会 Organization 的一部分
(subOrganization CommissionOnCrimePreventionAndCriminalJustice EconomicAndSocialCouncil) Government.kif 3041-3041 预防犯罪和刑事司法委员会 是 经济和社会理事会 Organization 的一部分
(subOrganization CommissionOnHumanRights EconomicAndSocialCouncil) Government.kif 3043-3043 人权委员会 是 经济和社会理事会 Organization 的一部分
(subOrganization CommissionOnNarcoticsDrugs EconomicAndSocialCouncil) Government.kif 3045-3045 麻醉药品委员会 是 经济和社会理事会 Organization 的一部分
(subOrganization CommissionOnPopulationAndDevelopment EconomicAndSocialCouncil) Government.kif 3047-3047 人口与发展委员会 是 经济和社会理事会 Organization 的一部分
(subOrganization CommissionOnScienceAndTechnologyForDevelopment EconomicAndSocialCouncil) Government.kif 3049-3049 科学和技术促进发展委员会 是 经济和社会理事会 Organization 的一部分
(subOrganization CommissionOnSustainableDevelopment EconomicAndSocialCouncil) Government.kif 3051-3051 可持续发展委员会 是 经济和社会理事会 Organization 的一部分
(subOrganization CommissionOnTheStatusOfWomen EconomicAndSocialCouncil) Government.kif 3053-3053 妇女地位委员会 是 经济和社会理事会 Organization 的一部分
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))		 Government.kif 4790-4790 国土安全部 是 美国 的 Government Organization 的一部分
(subOrganization EconomicAndSocialCommissionForAsiaAndThePacific EconomicAndSocialCouncil) Government.kif 3055-3055 亚洲及太平洋经济社会委员会 是 经济和社会理事会 Organization 的一部分
(subOrganization EconomicAndSocialCommissionForWesternAsia EconomicAndSocialCouncil) Government.kif 3057-3057 西亚经济社会委员会 是 经济和社会理事会 Organization 的一部分
(subOrganization EconomicAndSocialCouncil UnitedNations) Government.kif 3038-3038 经济和社会理事会 是 联合国 Organization 的一部分
(subOrganization EconomicCommissionForAfrica EconomicAndSocialCouncil) Government.kif 3059-3059 非洲经济委员会 是 经济和社会理事会 Organization 的一部分
(subOrganization EconomicCommissionForEurope EconomicAndSocialCouncil) Government.kif 3061-3061 欧洲经济委员会 是 经济和社会理事会 Organization 的一部分
(subOrganization EconomicCommissionForLatinAmericaAndTheCaribbean EconomicAndSocialCouncil) Government.kif 3063-3063 拉丁美洲和加勒比经济委员会 是 经济和社会理事会 Organization 的一部分
(subOrganization FitbitCompany Google) Medicine.kif 4472-4472 FitbitCompany 是 Google Organization 的一部分
(subOrganization FoodAndAgricultureOrganization EconomicAndSocialCouncil) Government.kif 3065-3065 粮食及农业组织 是 经济和社会理事会 Organization 的一部分
(subOrganization GoogleCorporation AlphabetCorporation) ComputingBrands.kif 17-17 GoogleCorporation 是 Alphabet公司 Organization 的一部分
(subOrganization HoldenCorporation GeneralMotorsCorp) Cars.kif 4563-4563 HoldenCorporation 是 GeneralMotorsCorp Organization 的一部分
(subOrganization InternationalAtomicEnergyAgency EconomicAndSocialCouncil) Government.kif 3066-3066 国际原子能机构 是 经济和社会理事会 Organization 的一部分
(subOrganization InternationalBankForReconstructionAndDevelopment EconomicAndSocialCouncil) Government.kif 3067-3067 国际重建和发展银行 是 经济和社会理事会 Organization 的一部分
(subOrganization InternationalBankForReconstructionAndDevelopment UnitedNations) Government.kif 3378-3378 国际重建和发展银行 是 联合国 Organization 的一部分
(subOrganization InternationalBankForReconstructionAndDevelopment WorldBankGroup) Government.kif 4281-4281 国际重建和发展银行 是 世界银行集团 Organization 的一部分
(subOrganization InternationalCenterForSecretariatOfInvestmentDisputes EconomicAndSocialCouncil) Government.kif 3068-3068 国际投资争端秘书处 是 经济和社会理事会 Organization 的一部分

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