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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WorkLeave
WorkLeave

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 WorkLeave est une sous-classe de processus intentionnel

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


(subclass DisabilityLeave WorkLeave) Mid-level-ontology.kif 20468-20468 DisabilityLeave est une sous-classe de WorkLeave
(subclass SickLeave WorkLeave) Mid-level-ontology.kif 20452-20452 SickLeave est une sous-classe de WorkLeave
(subclass Vacationing WorkLeave) Mid-level-ontology.kif 20448-20448 Vacationing est une sous-classe de WorkLeave
(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