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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WorkLeave
WorkLeave(work leave)

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


(documentation WorkLeave EnglishLanguage "A temporary leave from Working. Note that this is disjoint from being Unemployed.") Mid-level-ontology.kif 20423-20424
(subclass WorkLeave IntentionalProcess) Mid-level-ontology.kif 20422-20422 Work leave is a subclass of intentional process

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


(subclass DisabilityLeave WorkLeave) Mid-level-ontology.kif 20468-20468 Disability leave is a subclass of work leave
(subclass SickLeave WorkLeave) Mid-level-ontology.kif 20452-20452 Sick leave is a subclass of work leave
(subclass Vacationing WorkLeave) Mid-level-ontology.kif 20448-20448 Vacationing is a subclass of work leave
(termFormat EnglishLanguage WorkLeave "work leave") domainEnglishFormat.kif 65746-65746

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


(=>
    (and
        (instance ?W WorkLeave)
        (agent ?W ?PERSON))
    (holdsDuring
        (WhenFn ?W)
        (not
            (attribute ?PERSON Unemployed))))
Mid-level-ontology.kif 20438-20445
(=>
    (and
        (instance ?W WorkLeave)
        (instance ?WORK Working)
        (agent ?W ?PERSON)
        (agent ?WORK ?PERSON)
        (instance ?PERSON Human))
    (not
        (overlapsTemporally
            (WhenFn ?W)
            (WhenFn ?WORK))))
Mid-level-ontology.kif 20426-20436


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