| 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 17734-17736 | |
| (subclass CeasingOperations OrganizationalProcess) | Mid-level-ontology.kif 17733-17733 |
| appearance as argument number 2 |
|
|
| (disjoint BeginningOperations CeasingOperations) | Mid-level-ontology.kif 17696-17696 | |
| (termFormat ChineseLanguage CeasingOperations "停止运营") | domainEnglishFormat.kif 13635-13635 | |
| (termFormat ChineseTraditionalLanguage CeasingOperations "停止運營") | domainEnglishFormat.kif 13634-13634 | |
| (termFormat EnglishLanguage CeasingOperations "ceasing operations") | domainEnglishFormat.kif 13633-13633 |
| antecedent |
|
|
| (=> (and (instance ?OP CeasingOperations) (instance ?ORG Organization) (agent ?OP ?ORG)) (finishes ?OP (WhenFn ?ORG))) |
Mid-level-ontology.kif 17738-17743 |
|
|
|