SickLeave - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SickLeave WorkLeave)	Mid-level-ontology.kif 22694-22694	Sick leave is a subclass of work leave
(documentation SickLeave EnglishLanguage "A leave from Working taken because a DiseaseOrSyndrome makes is difficult or impossible to work. Note also that one can take sick leave but not actually be sick, either through TellingALie or if work rules allow one to take leave to care for someone else who is sick.")	Mid-level-ontology.kif 22695-22699	Sick leave is a subclass of work leave

appearance as argument number 2

(termFormat EnglishLanguage SickLeave "sick leave")

antecedent

(=>
    (and
        (instance ?W SickLeave)
        (agent ?W ?PERSON))
    (exists (?S)
        (and
            (instance ?S DiseaseOrSyndrome)
            (refers ?W ?S))))

If X is an instance of sick leave and Y is an agent of X, then there exists Z such that Z is an instance of disease or syndrome and X includes a reference to Z