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 16920-16923 | |
(domain subOrganization 1 Organization) | Merge.kif 16918-16918 | 子机构 的 1 数量 是 机构 的 instance |
(domain subOrganization 2 Organization) | Merge.kif 16919-16919 | 子机构 的 2 数量 是 机构 的 instance |
(instance subOrganization PartialOrderingRelation) | Merge.kif 16917-16917 | 子机构 是 偏序关系 的 instance |
(subrelation subOrganization subCollection) | Merge.kif 16916-16916 | 子机构 是 子集 的 subrelation |
appearance as argument number 2 |
![]() |
(disjointRelation ancestorOrganization subOrganization) | Mid-level-ontology.kif 25816-25816 | 祖先组织 和 子机构 是 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 55768-55768 | 立法机关 是 子机构 的 subrelation |
(termFormat ChineseTraditionalLanguage subOrganization "子組織") | domainEnglishFormat.kif 55767-55767 | 立法机关 是 子机构 的 subrelation |
(termFormat EnglishLanguage subOrganization "sub organization") | domainEnglishFormat.kif 55766-55766 | 立法机关 是 子机构 的 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 16866-16870 | |
(=> (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 16872-16876 |
consequent |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |