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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LaborStriking

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 14467-14469
(subclass LaborStriking OrganizationalProcess) Mid-level-ontology.kif 14466-14466

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


(termFormat EnglishLanguage LaborStriking "labor striking") domainEnglishFormat.kif 5925-5925

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners