|
|
   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 20453-20457 | |
| (subclass SickLeave WorkLeave) | Mid-level-ontology.kif 20452-20452 | SickLeave 是 WorkLeave 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SickLeave "sick leave") | domainEnglishFormat.kif 65491-65491 |
| antecedent |
|
|
| (=> (and (instance ?W SickLeave) (agent ?W ?PERSON)) (exists (?S) (and (instance ?S DiseaseOrSyndrome) (refers ?W ?S)))) |
Mid-level-ontology.kif 20459-20466 |
|
|
|