OrganizationalMerging - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16302-16303
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16301-16301	Organizational merging is a subclass of organizational process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42492-42492
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42491-42491
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42490-42490

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 16305-16324

If a process is an instance of organizational merging and an entity is a patient of the process and another entity is a patient of the process and the entity is not equal to the other entity,
then there doesn't exist a third entity such that the entity is a part of the organization the third entity and the other entity is a part of the organization the third entity holds during the beginning of the time of existence of the process and there exists a fourth entity such that the entity is a part of the organization the fourth entity and the other entity is a part of the organization the fourth entity holds during the end of the time of existence of the process