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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CeasingOperations
CeasingOperations

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 16327-16329
(subclass CeasingOperations OrganizationalProcess) Mid-level-ontology.kif 16326-16326

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


(disjoint BeginningOperations CeasingOperations) Mid-level-ontology.kif 16289-16289
(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 16331-16336


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