Weekend
|
|
appearance as argument number 1 |
(documentation Weekend EnglishLanguage "Any Saturday and Sunday which are contiguous.") | Mid-level-ontology.kif 19146-19146 | |
(subclass Weekend TimeInterval) | Mid-level-ontology.kif 19145-19145 |
appearance as argument number 2 |
(termFormat ChineseLanguage Weekend "周末") | domainEnglishFormat.kif 62663-62663 | |
(termFormat ChineseTraditionalLanguage Weekend "週末") | domainEnglishFormat.kif 62662-62662 | |
(termFormat EnglishLanguage Weekend "weekend") | domainEnglishFormat.kif 62661-62661 |
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 19148-19156 |