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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SickLeave

Sigma KEE - SickLeave
SickLeave

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


(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 20480-20484
(subclass SickLeave WorkLeave) Mid-level-ontology.kif 20479-20479 子類 SickLeave and WorkLeave

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


(termFormat EnglishLanguage SickLeave "sick leave") domainEnglishFormat.kif 65493-65493

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


(=>
    (and
        (instance ?W SickLeave)
        (agent ?W ?PERSON))
    (exists (?S)
        (and
            (instance ?S DiseaseOrSyndrome)
            (refers ?W ?S))))
Mid-level-ontology.kif 20486-20493


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