Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Weekend

appearance as argument number 1

(documentation Weekend EnglishLanguage "Any Saturday and Sunday which are contiguous.") Mid-level-ontology.kif 19119-19119
(subclass Weekend TimeInterval) Mid-level-ontology.kif 19118-19118 Weekend is a subclass of time interval

appearance as argument number 2

(termFormat ChineseLanguage Weekend "周末") domainEnglishFormat.kif 62661-62661
(termFormat ChineseTraditionalLanguage Weekend "週末") domainEnglishFormat.kif 62660-62660
(termFormat EnglishLanguage Weekend "weekend") domainEnglishFormat.kif 62659-62659


    (instance ?WEEKEND Weekend)
    (exists (?SATURDAY ?SUNDAY)
            (instance ?SATURDAY Saturday)
            (instance ?SUNDAY Sunday)
            (starts ?SATURDAY ?WEEKEND)
            (finishes ?SUNDAY ?WEEKEND)
            (meetsTemporally ?SATURDAY ?SUNDAY))))
Mid-level-ontology.kif 19121-19129

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 is open source software produced by Articulate Software and its partners