|
|
   BeginningOperations
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint BeginningOperations CeasingOperations) | Mid-level-ontology.kif 16316-16316 | BeginningOperations と CeasingOperations は disjoint では %n |
| (documentation BeginningOperations EnglishLanguage "The process of an Organization commencing operations. In the case of a Corporation, this would be the process of going into business.") | Mid-level-ontology.kif 16317-16319 | |
| (subclass BeginningOperations OrganizationalProcess) | Mid-level-ontology.kif 16315-16315 | BeginningOperations は 組織プロセス の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BeginningOperations "开始运营") | domainEnglishFormat.kif 10565-10565 | |
| (termFormat ChineseTraditionalLanguage BeginningOperations "開始運營") | domainEnglishFormat.kif 10564-10564 | |
| (termFormat EnglishLanguage BeginningOperations "beginning operations") | domainEnglishFormat.kif 10563-10563 |
| antecedent |
|
|
| (=> (and (instance ?OP BeginningOperations) (instance ?ORG Organization) (agent ?OP ?ORG)) (starts ?OP (WhenFn ?ORG))) |
Mid-level-ontology.kif 16321-16326 |
|
|
|
|