| CeasingOperations(ceasing operations) | | closedown, closing, closure, shutdown |
| appearance as argument number 1 |
|
|
| (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 17255-17257 | |
| (subclass CeasingOperations OrganizationalProcess) | Mid-level-ontology.kif 17254-17254 | Ceasing operations is a subclass of organizational process |
| appearance as argument number 2 |
|
|
| (disjoint BeginningOperations CeasingOperations) | Mid-level-ontology.kif 17217-17217 | Beginning operations is disjoint from ceasing operations |
| (termFormat ChineseLanguage CeasingOperations "停止运营") | domainEnglishFormat.kif 13635-13635 | Beginning operations is disjoint from ceasing operations |
| (termFormat ChineseTraditionalLanguage CeasingOperations "停止運營") | domainEnglishFormat.kif 13634-13634 | Beginning operations is disjoint from ceasing operations |
| (termFormat EnglishLanguage CeasingOperations "ceasing operations") | domainEnglishFormat.kif 13633-13633 | Beginning operations is disjoint from ceasing operations |
| antecedent |
|
|
| (=> (and (instance ?OP CeasingOperations) (instance ?ORG Organization) (agent ?OP ?ORG)) (finishes ?OP (WhenFn ?ORG))) |
Mid-level-ontology.kif 17259-17264 |
|
|
|
|