GamePiece
|
|
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 16354-16356 | |
(subclass CeasingOperations OrganizationalProcess) | Mid-level-ontology.kif 16353-16353 | CeasingOperations ist eine teilkategorie von OrganizationalProcess |
appearance as argument number 2 |
(disjoint BeginningOperations CeasingOperations) | Mid-level-ontology.kif 16316-16316 | 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 16358-16363 |
|