Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Weekend

 Sigma KEE - Weekend
Weekend(weekend)weekend

appearance as argument number 1
-------------------------


(subclass Weekend TimeInterval) Mid-level-ontology.kif 21055-21055 Weekend is a subclass of timeframe
(documentation Weekend EnglishLanguage "Any Saturday and Sunday which are contiguous.") Mid-level-ontology.kif 21056-21056 Weekend is a subclass of timeframe

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Weekend "weekend") domainEnglishFormat.kif 62662-62662
(termFormat ChineseTraditionalLanguage Weekend "週末") domainEnglishFormat.kif 62663-62663
(termFormat ChineseLanguage Weekend "周末") domainEnglishFormat.kif 62664-62664

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 21058-21066 If X is an instance of weekend, then there exist Y, Z such that Y is an instance of Saturday, Z is an instance of Sunday, Y starts X, Z finishes X, and Y meets Z


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners