Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| OrganizationalMerging(organizational merging) |  | amalgamation, consolidate, merger, uniting |
| appearance as argument number 1 |
|
|
| (subclass OrganizationalMerging OrganizationalProcess) | Mid-level-ontology.kif 17934-17934 | Organizational merging is a subclass of organizational process |
| (documentation OrganizationalMerging EnglishLanguage "The process of two or more Organizations merging into a single Organization.") | Mid-level-ontology.kif 17935-17936 | Organizational merging is a subclass of organizational process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 17938-17957 | If X is an instance of organizational merging, Y is a patient of X, Z is a patient of X, and equal Y and Z, then there doesn't exist W such that Y is a part of the organization W and Z is a part of the organization W holds during the beginning of the time of existence of X and there exists V such that Y is a part of the organization V and Z is a part of the organization V holds during the end of the time of existence of X |
|