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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleIPodShuffle

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 16939-16941
(subclass LaborStriking OrganizationalProcess) Mid-level-ontology.kif 16938-16938

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 16943-16950


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