Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CeasingOperations
CeasingOperations(ceasing operations)closedown, closing, closure, shutdown

appearance as argument number 1
-------------------------


s__documentation(s__CeasingOperations,s__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 14628-14630
s__subclass(s__CeasingOperations,s__OrganizationalProcess)

s__instance(s__OrganizationalProcess,s__SetOrClass)

s__instance(s__CeasingOperations,s__SetOrClass)

Mid-level-ontology.kif 14627-14627 Ceasing operations is a subclass of organizational process

appearance as argument number 2
-------------------------


s__disjoint(s__BeginningOperations,s__CeasingOperations)

Mid-level-ontology.kif 14590-14590 Beginning operations is disjoint from ceasing operations
s__termFormat(s__ChineseLanguage,s__CeasingOperations,'"停止运营"')

domainEnglishFormat.kif 13623-13623
s__termFormat(s__ChineseTraditionalLanguage,s__CeasingOperations,'"停止運營"')

domainEnglishFormat.kif 13622-13622
s__termFormat(s__EnglishLanguage,s__CeasingOperations,'"ceasing operations"')

domainEnglishFormat.kif 13621-13621

antecedent
-------------------------


( ! [V__OP,V__ORG] :
   (((s__instance(V__OP,s__CeasingOperations) &
         s__instance(V__ORG,s__Organization) &
         s__agent(V__OP,V__ORG))
     =>
     (s__finishes(V__OP,s__WhenFn(V__ORG))))
)
)

Mid-level-ontology.kif 14632-14637


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners