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


KB Term:  Term intersection
English Word: 

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


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