Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Vacationing RecreationOrExercise) | Mid-level-ontology.kif 22689-22689 | Vacationing is a subclass of recreation or exercise |
| (subclass Vacationing WorkLeave) | Mid-level-ontology.kif 22690-22690 | Vacationing is a subclass of work leave |
| (documentation Vacationing EnglishLanguage "Taking time off from Working for the purpose of recreation. Note that this is disjoint from just being Unemployed.") | Mid-level-ontology.kif 22691-22692 | Vacationing is a subclass of work leave |
| appearance as argument number 2 |
|
|
|