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 17709-17710
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17708-17708	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 42523-42523
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42522-42522
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42521-42521

antecedent

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

Mid-level-ontology.kif 17712-17731

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