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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LaborStriking
LaborStriking

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


(documentation LaborStriking EnglishLanguage "A Process in which some or all of the employees of an Organization refuse to work until their pay is increased or their working conditions are improved in some respect.") Mid-level-ontology.kif 16912-16914
(subclass LaborStriking OrganizationalProcess) Mid-level-ontology.kif 16911-16911 LaborStriking est une sous-classe de processus organisationnel

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


(termFormat ChineseLanguage LaborStriking "劳工引人注目") domainEnglishFormat.kif 33043-33043
(termFormat ChineseTraditionalLanguage LaborStriking "勞工引人注目") domainEnglishFormat.kif 33042-33042
(termFormat EnglishLanguage LaborStriking "labor striking") domainEnglishFormat.kif 33041-33041

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


(=>
    (and
        (instance ?STRIKE LaborStriking)
        (agent ?STRIKE ?PERSON)
        (instance ?PERSON Human)
        (patient ?STRIKE ?ORG)
        (instance ?ORG Organization))
    (employs ?ORG ?PERSON))
Mid-level-ontology.kif 16916-16923


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