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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Weekend
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時間間隔subclass では %n

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

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