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。") Merge.kif 21398-21400
(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 21394-21397
(domain subOrganization 1 Organization) Merge.kif 21392-21392 The number 1 argument of sub organization is an instance of organization
(domain subOrganization 2 Organization) Merge.kif 21393-21393 The number 2 argument of sub organization is an instance of organization
(instance subOrganization PartialOrderingRelation) Merge.kif 21391-21391 sub organization is an instance of partial ordering relation
(subrelation subOrganization subCollection) Merge.kif 21390-21390 sub organization is a subrelation of sub collection

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


(disjointRelation ancestorOrganization subOrganization) Mid-level-ontology.kif 21934-21934 ancestor organization and sub organization are 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 772-772
(format EnglishLanguage subOrganization "%1 is %n a part of the organization %2") english_format.kif 1125-1125
(format EnglishLanguage subOrganization "%1 は組織 %2 の一部では %n") english_format.kif 1126-1126
(format JapaneseLanguage subOrganization "%1 は組織 %2 の part では %n") english_format.kif 773-773
(subrelation chamberOfLegislature subOrganization) Government.kif 2020-2020 chamber of legislature is a subrelation of sub organization
(termFormat ChineseLanguage subOrganization "子机构") chinese_format.kif 550-550 "子机构" is the printable form of sub organization in ChineseLanguage
(termFormat ChineseLanguage subOrganization "子组织") domainEnglishFormat.kif 55705-55705 "子组织" is the printable form of sub organization in ChineseLanguage
(termFormat ChineseTraditionalLanguage subOrganization "子組織") domainEnglishFormat.kif 55704-55704 "子組織" is the printable form of sub organization in ChineseTraditionalLanguage
(termFormat EnglishLanguage subOrganization "sub organization") domainEnglishFormat.kif 55703-55703 "sub organization" is the printable form of sub organization in english language

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 1937-1945
(=>
    (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 4448-4456
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))
Government.kif 1273-1278
(=>
    (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 1473-1484
(=>
    (and
        (instance ?COURT SupremeCourt)
        (subOrganization ?COURT
            (GovernmentFn ?COUNTRY))
        (instance ?COUNTRY Nation))
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY)))
Government.kif 2151-2156
(=>
    (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 Navy-BranchOfService))
    (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 1719-1725
(=>
    (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 1704-1714
(=>
    (and
        (instance ?ORG JudicialOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 2045-2050
(=>
    (and
        (instance ?ORG LegislativeOrganization)
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Government.kif 1890-1895
(=>
    (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 8250-8260
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))
Government.kif 2090-2095
(=>
    (and
        (subOrganization ?ORG ?GOV)
        (instance ?GOV GovernmentOrganization))
    (instance ?ORG GovernmentOrganization))
Merge.kif 21333-21337

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


(<=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 21326-21331 An organization is an instance of government organization if and only if there exists another organization such that the other organization is an instance of government and the organization は組織 the other organization の一部では %n
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))
Government.kif 108-115 An organization is an instance of government organization if and only if the organization is an instance of government or there exists another organization such that the other organization is an instance of government and the organization は組織 the other organization の一部では %n
(=>
    (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 4585-4594
(=>
    (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 4595-4604
(=>
    (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 4407-4415
(=>
    (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 1080-1093
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))
Government.kif 1273-1278
(=>
    (and
        (executiveBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))
Government.kif 1267-1271
(=>
    (and
        (executiveBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))
Government.kif 1261-1265
(=>
    (and
        (governmentType ?PLACE ?TYPE)
        (instance ?PLACE GeopoliticalArea)
        (subAttribute ?TYPE ParliamentaryGovernment))
    (exists (?ORG)
        (and
            (instance ?ORG Parliament)
            (subOrganization ?ORG
                (GovernmentFn ?PLACE)))))
Government.kif 244-252
(=>
    (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 2576-2590
(=>
    (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 2594-2610
(=>
    (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 2558-2572
(=>
    (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 2540-2554
(=>
    (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 2521-2536
(=>
    (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 13952-13971
(=>
    (and
        (instance ?PUB JointPublication)
        (containsInformation ?PUB ?CONTENT)
        (authors ?JORG ?PUB))
    (exists (?ORG)
        (and
            (subOrganization ?ORG USMilitary)
            (confersObligation ?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 929-937
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea)
        (subOrganization ?ORG ?BRANCH))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))
Government.kif 2090-2095
(=>
    (and
        (judicialBranch ?BRANCH ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?BRANCH
        (GovernmentFn ?AREA)))
Government.kif 2084-2088
(=>
    (and
        (judicialBranch ?BRANCH ?ORG)
        (instance ?ORG Organization))
    (subOrganization ?BRANCH ?ORG))
Government.kif 2078-2082
(=>
    (and
        (legislativeBranch ?ORG ?AGENT)
        (instance ?AGENT Organization))
    (subOrganization ?ORG ?AGENT))
Government.kif 1983-1987
(=>
    (and
        (legislativeBranch ?ORG ?AREA)
        (instance ?AREA GeopoliticalArea))
    (subOrganization ?ORG
        (GovernmentFn ?AREA)))
Government.kif 1989-1993
(=>
    (and
        (subEchelon ?MUClass1 ?MUClass2)
        (instance ?MU1 ?MUClass1))
    (exists (?MU2)
        (and
            (instance ?MU2 ?MUClass2)
            (subOrganization ?MU1 ?MU2))))
Military.kif 692-699
(=>
    (businessUnit ?BU ?ORG)
    (subOrganization ?BU ?ORG))
UXExperimentalTerms.kif 2766-2768
(=>
    (hostileForces ?U1 ?U2)
    (exists (?W ?A1 ?A2)
        (and
            (instance ?WAR War)
            (contestParticipant ?W ?A1)
            (contestParticipant ?W ?A2)
            (subOrganization ?U1
                (GovernmentFn ?A1))
            (subOrganization ?U2
                (GovernmentFn ?A2)))))
Mid-level-ontology.kif 8151-8159

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(subOrganization CommissionForSocialDevelopment EconomicAndSocialCouncil) Government.kif 3014-3014 Commission for social development は組織 economic and social council の一部では %n
(subOrganization CommissionOnCrimePreventionAndCriminalJustice EconomicAndSocialCouncil) Government.kif 3016-3016 Commission on crime prevention and criminal justice は組織 economic and social council の一部では %n
(subOrganization CommissionOnHumanRights EconomicAndSocialCouncil) Government.kif 3018-3018 Commission on human rights は組織 economic and social council の一部では %n
(subOrganization CommissionOnNarcoticsDrugs EconomicAndSocialCouncil) Government.kif 3020-3020 Commission on narcotics drugs は組織 economic and social council の一部では %n
(subOrganization CommissionOnPopulationAndDevelopment EconomicAndSocialCouncil) Government.kif 3022-3022 Commission on population and development は組織 economic and social council の一部では %n
(subOrganization CommissionOnScienceAndTechnologyForDevelopment EconomicAndSocialCouncil) Government.kif 3024-3024 Commission on science and technology for development は組織 economic and social council の一部では %n
(subOrganization CommissionOnSustainableDevelopment EconomicAndSocialCouncil) Government.kif 3026-3026 Commission on sustainable development は組織 economic and social council の一部では %n
(subOrganization CommissionOnTheStatusOfWomen EconomicAndSocialCouncil) Government.kif 3028-3028 Commission on the status of women は組織 economic and social council の一部では %n
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))
Government.kif 4764-4764 Department of homeland security は組織 united statesgovernment の一部では %n
(subOrganization EconomicAndSocialCommissionForAsiaAndThePacific EconomicAndSocialCouncil) Government.kif 3030-3030 Economic and social commission for asia and the pacific は組織 economic and social council の一部では %n
(subOrganization EconomicAndSocialCommissionForWesternAsia EconomicAndSocialCouncil) Government.kif 3032-3032 Economic and social commission for western asia は組織 economic and social council の一部では %n
(subOrganization EconomicAndSocialCouncil UnitedNations) Government.kif 3013-3013 Economic and social council は組織 united nations の一部では %n
(subOrganization EconomicCommissionForAfrica EconomicAndSocialCouncil) Government.kif 3034-3034 Economic commission for africa は組織 economic and social council の一部では %n
(subOrganization EconomicCommissionForEurope EconomicAndSocialCouncil) Government.kif 3036-3036 Economic commission for europe は組織 economic and social council の一部では %n
(subOrganization EconomicCommissionForLatinAmericaAndTheCaribbean EconomicAndSocialCouncil) Government.kif 3038-3038 Economic commission for latin america and the caribbean は組織 economic and social council の一部では %n
(subOrganization FoodAndAgricultureOrganization EconomicAndSocialCouncil) Government.kif 3040-3040 Food and agriculture organization は組織 economic and social council の一部では %n
(subOrganization GoogleCorporation AlphabetCorporation) ComputingBrands.kif 18-18 GoogleCorporation は組織 Alphabet の一部では %n
(subOrganization HoldenCorporation GeneralMotorsCorp) Cars.kif 4467-4467 Holden Corporation は組織 General Motors の一部では %n
(subOrganization InternationalAtomicEnergyAgency EconomicAndSocialCouncil) Government.kif 3041-3041 International atomic energy agency は組織 economic and social council の一部では %n
(subOrganization InternationalBankForReconstructionAndDevelopment EconomicAndSocialCouncil) Government.kif 3042-3042 International bank for reconstruction and development は組織 economic and social council の一部では %n
(subOrganization InternationalBankForReconstructionAndDevelopment UnitedNations) Government.kif 3353-3353 International bank for reconstruction and development は組織 united nations の一部では %n
(subOrganization InternationalBankForReconstructionAndDevelopment WorldBankGroup) Government.kif 4256-4256 International bank for reconstruction and development は組織 world bank group の一部では %n
(subOrganization InternationalCenterForSecretariatOfInvestmentDisputes EconomicAndSocialCouncil) Government.kif 3043-3043 International center for secretariat of investment disputes は組織 economic and social council の一部では %n
(subOrganization InternationalCivilAviationOrganization EconomicAndSocialCouncil) Government.kif 3045-3045 International civil aviation organization は組織 economic and social council の一部では %n
(subOrganization InternationalCivilAviationOrganization UnitedNations) Government.kif 3367-3367 International civil aviation organization は組織 united nations の一部では %n

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners