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 14459-14461
(subclass LaborStriking OrganizationalProcess) Mid-level-ontology.kif 14458-14458

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


(termFormat ChineseLanguage LaborStriking "劳工引人注目") domainEnglishFormat.kif 32953-32953
(termFormat ChineseTraditionalLanguage LaborStriking "勞工引人注目") domainEnglishFormat.kif 32952-32952
(termFormat EnglishLanguage LaborStriking "labor striking") domainEnglishFormat.kif 32951-32951

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


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


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