| CeasingOperations(ceasing operations) | | closedown, closing, closure, shutdown |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17714-17716 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17713-17713 | Ceasing operations is a subclass of organizational process |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17676-17676 | Beginning operations is disjoint from ceasing operations |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13629-13629 | Beginning operations is disjoint from ceasing operations |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13628-13628 | Beginning operations is disjoint from ceasing operations |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13627-13627 | Beginning operations is disjoint from ceasing operations |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17718-17723 |
|
|
|
|