BeginningOperations(beginning operations) |
appearance as argument number 1 |
(disjoint BeginningOperations CeasingOperations) | Mid-level-ontology.kif 16507-16507 | Beginning operations is disjoint from ceasing operations |
(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 16508-16510 | Beginning operations is disjoint from ceasing operations |
(subclass BeginningOperations OrganizationalProcess) | Mid-level-ontology.kif 16506-16506 | Beginning operations is a subclass of organizational process |
appearance as argument number 2 |
(termFormat ChineseLanguage BeginningOperations "开始运营") | domainEnglishFormat.kif 10579-10579 | |
(termFormat ChineseTraditionalLanguage BeginningOperations "開始運營") | domainEnglishFormat.kif 10578-10578 | |
(termFormat EnglishLanguage BeginningOperations "beginning operations") | domainEnglishFormat.kif 10577-10577 |
antecedent |
(=> (and (instance ?OP BeginningOperations) (instance ?ORG Organization) (agent ?OP ?ORG)) (starts ?OP (WhenFn ?ORG))) |
Mid-level-ontology.kif 16512-16517 |
|