| Weekend(weekend) | | weekend |
| appearance as argument number 1 |
|
|
| (documentation Weekend EnglishLanguage "Any Saturday and Sunday which are contiguous.") | Mid-level-ontology.kif 20208-20208 | |
| (subclass Weekend TimeInterval) | Mid-level-ontology.kif 20207-20207 | Weekend is a subclass of time interval |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Weekend "周末") | domainEnglishFormat.kif 62684-62684 | |
| (termFormat ChineseTraditionalLanguage Weekend "週末") | domainEnglishFormat.kif 62683-62683 | |
| (termFormat EnglishLanguage Weekend "weekend") | domainEnglishFormat.kif 62682-62682 |
| antecedent |
|
|
| (=> (instance ?WEEKEND Weekend) (exists (?SATURDAY ?SUNDAY) (and (instance ?SATURDAY Saturday) (instance ?SUNDAY Sunday) (starts ?SATURDAY ?WEEKEND) (finishes ?SUNDAY ?WEEKEND) (meetsTemporally ?SATURDAY ?SUNDAY)))) |
Mid-level-ontology.kif 20210-20218 |
|
|
|
|