BeginningOperations - Sigma Knowledge base Browser

appearance as argument number 1

(subclass BeginningOperations OrganizationalProcess)	Mid-level-ontology.kif 17921-17921	Beginning operations is a subclass of organizational process
(disjoint BeginningOperations CeasingOperations)	Mid-level-ontology.kif 17922-17922	Beginning operations is disjoint from ceasing operations
(documentation BeginningOperations EnglishLanguage "The process of an Organization commencing operations. In the case of a Corporation, this would be the process of going into business.")	Mid-level-ontology.kif 17923-17925	Beginning operations is disjoint from ceasing operations

appearance as argument number 2

(termFormat EnglishLanguage BeginningOperations "beginning operations")	domainEnglishFormat.kif 10569-10569
(termFormat ChineseTraditionalLanguage BeginningOperations "開始運營")	domainEnglishFormat.kif 10570-10570
(termFormat ChineseLanguage BeginningOperations "开始运营")	domainEnglishFormat.kif 10571-10571

antecedent

(=>
    (and
        (instance ?OP BeginningOperations)
        (instance ?ORG Organization)
        (agent ?OP ?ORG))
    (starts ?OP
        (WhenFn ?ORG)))

If X is an instance of beginning operations, Y is an instance of organization, and Y is an agent of X, then X starts the time of existence of Y