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 19118-19118
(subclass Weekend TimeInterval) Mid-level-ontology.kif 19117-19117 周末时距subclass

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 19120-19128

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