| 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 15615-15618 | |
| (domain subOrganization 1 Organization) | Merge.kif 15613-15613 | |
| (domain subOrganization 2 Organization) | Merge.kif 15614-15614 | |
| (instance subOrganization PartialOrderingRelation) | Merge.kif 15612-15612 | |
| (subrelation subOrganization subCollection) | Merge.kif 15611-15611 |
| appearance as argument number 2 |
|
|
| (disjointRelation ancestorOrganization subOrganization) | Mid-level-ontology.kif 20471-20471 | |
| (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 557-557 | |
| (format EnglishLanguage subOrganization "%1 is %n a part of the organization %2") | english_format.kif 826-826 | |
| (format JapaneseLanguage subOrganization "%1 は組織 %2 の一部では %n") | english_format.kif 827-827 | |
| (subrelation chamberOfLegislature subOrganization) | Government.kif 2046-2046 | |
| (termFormat ChineseLanguage subOrganization "子机构") | chinese_format.kif 550-550 | |
| (termFormat ChineseLanguage subOrganization "子组织") | domainEnglishFormat.kif 55742-55742 | |
| (termFormat ChineseTraditionalLanguage subOrganization "子組織") | domainEnglishFormat.kif 55741-55741 | |
| (termFormat EnglishLanguage subOrganization "sub organization") | domainEnglishFormat.kif 55740-55740 |
| 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 1963-1971 | |
| (=> (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 4474-4482 | |
| (=> (and (equal ?DEP (DepartmentOfFn ?COMP ?PHYS)) (subOrganization ?DEP2 ?COMP) (not (equal ?DEP ?DEP2)) (instance ?I ?PHYS) (inScopeOfInterest ?P ?I) (equal ?P1 (ProbabilityFn (agent ?P ?DEP))) (equal ?P2 (ProbabilityFn (agent ?P ?DEP2)))) (greaterThan ?P1 ?P2)) |
Mid-level-ontology.kif 14916-14930 | |
| (=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA))) |
Government.kif 1299-1304 | |
| (=> (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 1499-1510 | |
| (=> (and (instance ?COURT SupremeCourt) (subOrganization ?COURT (GovernmentFn ?COUNTRY)) (instance ?COUNTRY Nation)) (instance ?COURT (SupremeCourtFn ?COUNTRY))) |
Government.kif 2177-2182 | |
| (=> (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 1732-1738 | |
| (=> (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 1717-1727 | |
| (=> (and (instance ?ORG JudicialOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Government.kif 2071-2076 | |
| (=> (and (instance ?ORG LegislativeOrganization) (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Government.kif 1916-1921 | |
| (=> (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 7415-7425 | |
| (=> (and (judicialBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA))) |
Government.kif 2116-2121 | |
| (=> (and (subOrganization ?ORG ?GOV) (instance ?GOV GovernmentOrganization)) (instance ?ORG GovernmentOrganization)) |
Merge.kif 15567-15571 |
| consequent |
|
|
| (<=> (instance ?ORG GovernmentOrganization) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)))) |
Merge.kif 15560-15565 | |
| (<=> (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 4611-4620 | |
| (=> (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 4621-4630 | |
| (=> (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 4433-4441 | |
| (=> (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 1092-1105 | |
| (=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA))) |
Government.kif 1299-1304 | |
| (=> (and (executiveBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?BRANCH (GovernmentFn ?AREA))) |
Government.kif 1293-1297 | |
| (=> (and (executiveBranch ?BRANCH ?ORG) (instance ?ORG Organization)) (subOrganization ?BRANCH ?ORG)) |
Government.kif 1287-1291 | |
| (=> (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 2589-2603 | |
| (=> (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 2607-2623 | |
| (=> (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 2571-2585 | |
| (=> (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 2553-2567 | |
| (=> (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 2534-2549 | |
| (=> (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 13007-13026 | |
| (=> (and (instance ?PUB JointPublication) (containsInformation ?PUB ?CONTENT) (authors ?JORG ?PUB)) (exists (?ORG) (and (subOrganization ?ORG USMilitary) (confersObligation ?CONTENT ?JORG ?ORG)))) |
MilitaryProcesses.kif 940-948 | |
| (=> (and (judicialBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea) (subOrganization ?ORG ?BRANCH)) (subOrganization ?ORG (GovernmentFn ?AREA))) |
Government.kif 2116-2121 | |
| (=> (and (judicialBranch ?BRANCH ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?BRANCH (GovernmentFn ?AREA))) |
Government.kif 2110-2114 | |
| (=> (and (judicialBranch ?BRANCH ?ORG) (instance ?ORG Organization)) (subOrganization ?BRANCH ?ORG)) |
Government.kif 2104-2108 | |
| (=> (and (legislativeBranch ?ORG ?AGENT) (instance ?AGENT Organization)) (subOrganization ?ORG ?AGENT)) |
Government.kif 2009-2013 | |
| (=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?ORG (GovernmentFn ?AREA))) |
Government.kif 2015-2019 | |
| (=> (and (subEchelon ?MUClass1 ?MUClass2) (instance ?MU1 ?MUClass1)) (exists (?MU2) (and (instance ?MU2 ?MUClass2) (subOrganization ?MU1 ?MU2)))) |
Military.kif 693-700 | |
| (=> (businessUnit ?BU ?ORG) (subOrganization ?BU ?ORG)) |
UXExperimentalTerms.kif 2769-2771 | |
| (=> (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 7316-7324 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 0 |
|
|
|
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