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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CeasingOperations

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 停止运营机构性过程subclass

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


(disjoint BeginningOperations CeasingOperations) Mid-level-ontology.kif 16289-16289 开始运营 和 % 2 是 disjoint
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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