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 19065-19065
(subclass Weekend TimeInterval) Mid-level-ontology.kif 19064-19064

appearance as argument number 2

(termFormat ChineseLanguage Weekend "周末") domainEnglishFormat.kif 62673-62673
(termFormat ChineseTraditionalLanguage Weekend "週末") domainEnglishFormat.kif 62672-62672
(termFormat EnglishLanguage Weekend "weekend") domainEnglishFormat.kif 62671-62671


    (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 19067-19075

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