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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subOrganization

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 16974-16976
(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 16970-16973
(domain subOrganization 1 Organization) Merge.kif 16968-16968
(domain subOrganization 2 Organization) Merge.kif 16969-16969
(instance subOrganization PartialOrderingRelation) Merge.kif 16967-16967
(subrelation subOrganization subCollection) Merge.kif 16966-16966

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


(disjointRelation ancestorOrganization subOrganization) Mid-level-ontology.kif 21902-21902
(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 333-333
(format EnglishLanguage subOrganization "%1 is %n a part of the organization %2") english_format.kif 497-497
(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 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
(subrelation chamberOfLegislature subOrganization) Government.kif 2020-2020
(termFormat ChineseLanguage subOrganization "子机构") chinese_format.kif 550-550
(termFormat EnglishLanguage subOrganization "sub organization") domainEnglishFormat.kif 9718-9718

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 8249-8259
(=>
    (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 16909-16913

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


(<=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 16902-16907
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))
Government.kif 108-115
(=>
    (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 13951-13970
(=>
    (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 8150-8158

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
(subOrganization CommissionOnCrimePreventionAndCriminalJustice EconomicAndSocialCouncil) Government.kif 3016-3016
(subOrganization CommissionOnHumanRights EconomicAndSocialCouncil) Government.kif 3018-3018
(subOrganization CommissionOnNarcoticsDrugs EconomicAndSocialCouncil) Government.kif 3020-3020
(subOrganization CommissionOnPopulationAndDevelopment EconomicAndSocialCouncil) Government.kif 3022-3022
(subOrganization CommissionOnScienceAndTechnologyForDevelopment EconomicAndSocialCouncil) Government.kif 3024-3024
(subOrganization CommissionOnSustainableDevelopment EconomicAndSocialCouncil) Government.kif 3026-3026
(subOrganization CommissionOnTheStatusOfWomen EconomicAndSocialCouncil) Government.kif 3028-3028
(subOrganization DepartmentOfHomelandSecurity
    (GovernmentFn UnitedStates))
Government.kif 4764-4764
(subOrganization EconomicAndSocialCommissionForAsiaAndThePacific EconomicAndSocialCouncil) Government.kif 3030-3030
(subOrganization EconomicAndSocialCommissionForWesternAsia EconomicAndSocialCouncil) Government.kif 3032-3032
(subOrganization EconomicAndSocialCouncil UnitedNations) Government.kif 3013-3013
(subOrganization EconomicCommissionForAfrica EconomicAndSocialCouncil) Government.kif 3034-3034
(subOrganization EconomicCommissionForEurope EconomicAndSocialCouncil) Government.kif 3036-3036
(subOrganization EconomicCommissionForLatinAmericaAndTheCaribbean EconomicAndSocialCouncil) Government.kif 3038-3038
(subOrganization FoodAndAgricultureOrganization EconomicAndSocialCouncil) Government.kif 3040-3040
(subOrganization HoldenCorporation GeneralMotorsCorp) Cars.kif 4467-4467
(subOrganization InternationalAtomicEnergyAgency EconomicAndSocialCouncil) Government.kif 3041-3041
(subOrganization InternationalBankForReconstructionAndDevelopment EconomicAndSocialCouncil) Government.kif 3042-3042
(subOrganization InternationalBankForReconstructionAndDevelopment UnitedNations) Government.kif 3353-3353
(subOrganization InternationalBankForReconstructionAndDevelopment WorldBankGroup) Government.kif 4256-4256
(subOrganization InternationalCenterForSecretariatOfInvestmentDisputes EconomicAndSocialCouncil) Government.kif 3043-3043
(subOrganization InternationalCivilAviationOrganization EconomicAndSocialCouncil) Government.kif 3045-3045
(subOrganization InternationalCivilAviationOrganization UnitedNations) Government.kif 3367-3367
(subOrganization InternationalCourtOfJustice UnitedNations) Government.kif 3394-3394

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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