|
|
   CeasingOperations
|
|
|
| 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 16326-16328 | |
| (subclass CeasingOperations OrganizationalProcess) | Mid-level-ontology.kif 16325-16325 | CeasingOperations ist eine teilkategorie von OrganizationalProcess |
| appearance as argument number 2 |
|
|
| (disjoint BeginningOperations CeasingOperations) | Mid-level-ontology.kif 16288-16288 | BeginningOperations ist dijunkt von CeasingOperations %n{nicht} |
| (termFormat ChineseLanguage CeasingOperations "停止运营") | domainEnglishFormat.kif 13620-13620 | |
| (termFormat ChineseTraditionalLanguage CeasingOperations "停止運營") | domainEnglishFormat.kif 13619-13619 | |
| (termFormat EnglishLanguage CeasingOperations "ceasing operations") | domainEnglishFormat.kif 13618-13618 |
| antecedent |
|
|
| (=> (and (instance ?OP CeasingOperations) (instance ?ORG Organization) (agent ?OP ?ORG)) (finishes ?OP (WhenFn ?ORG))) |
Mid-level-ontology.kif 16330-16335 |
|
|
|
|