| appearance as argument number 1 |
|
| (documentation DisabilityLeave EnglishLanguage "A leave from Working taken because a DiseaseOrSyndrome makes is difficult or impossible to work for an extended period. ") | Mid-level-ontology.kif 22103-22105 | |
| (subclass DisabilityLeave WorkLeave) | Mid-level-ontology.kif 22102-22102 | Disability leave is a subclass of work leave |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DisabilityLeave "disability leave") | domainEnglishFormat.kif 64791-64791 |
| antecedent |
|
|
| (=> (and (instance ?W DisabilityLeave) (agent ?W ?PERSON)) (holdsDuring (WhenFn ?W) (exists (?D) (and (instance ?D Disability) (attribute ?PERSON ?D))))) |
Mid-level-ontology.kif 22107-22115 |
|
|
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