TreeView Knowledge Base Browser

appearance as argument number 1

(subclass CeasingOperations OrganizationalProcess)	Mid-level-ontology.kif 17959-17959	Ceasing operations is a subclass of organizational process
(documentation CeasingOperations EnglishLanguage "The process of an Organization ceasing operations, i.e. its folding or going out of business in some other fashion.")	Mid-level-ontology.kif 17960-17962	Ceasing operations is a subclass of organizational process

appearance as argument number 2

(disjoint BeginningOperations CeasingOperations)	Mid-level-ontology.kif 17922-17922	Beginning operations is disjoint from ceasing operations
(termFormat EnglishLanguage CeasingOperations "ceasing operations")	domainEnglishFormat.kif 13626-13626	Beginning operations is disjoint from ceasing operations
(termFormat ChineseTraditionalLanguage CeasingOperations "停止運營")	domainEnglishFormat.kif 13627-13627	Beginning operations is disjoint from ceasing operations
(termFormat ChineseLanguage CeasingOperations "停止运营")	domainEnglishFormat.kif 13628-13628	Beginning operations is disjoint from ceasing operations

antecedent

(=>
    (and
        (instance ?OP CeasingOperations)
        (instance ?ORG Organization)
        (agent ?OP ?ORG))
    (finishes ?OP
        (WhenFn ?ORG)))

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