Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DisabilityLeave(disability leave) |
| appearance as argument number 1 |
|
| (subclass DisabilityLeave WorkLeave) | Mid-level-ontology.kif 22710-22710 | Disability leave is a subclass of work leave |
| (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 22711-22713 | Disability leave is a subclass of work leave |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DisabilityLeave "disability leave") | domainEnglishFormat.kif 64771-64771 |
| antecedent |
|
|
| (=> (and (instance ?W DisabilityLeave) (agent ?W ?PERSON)) (holdsDuring (WhenFn ?W) (exists (?D) (and (instance ?D Disability) (attribute ?PERSON ?D))))) |
Mid-level-ontology.kif 22715-22723 | If X is an instance of disability leave and Y is an agent of X, then there exists Z such that Z is an instance of disability and Z is an attribute of Y holds during the time of existence of X |
|