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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Holiday
Holiday(holiday)11_November, All_Saints'_Day, All_Souls'_Day, Allhallows, Annunciation, Annunciation_Day, Ash_Wednesday, Columbus_Day, Day_of_Atonement, December_31, December_8, Decoration_Day, Discovery_Day, Ember_Day, Fast_of_Esther, Fast_of_Gedaliah, Fast_of_Tammuz, Fast_of_Tevet, Fast_of_the_Firstborn, Feast_of_Weeks, February_12, February_14, February_22, First_of_May, Fourth_of_July, Hallowmas, Hallowmass, High_Holiday, High_Holy_Day, Hogmanay, Immaculate_Conception, Independence_Day, January_1, January_19, Jewish_New_Year, July_4, Labor_Day, Lady_Day, Lee's_Birthday, Lincoln's_Birthday, March_17, March_19, March_2, March_25, Martin_Luther_King_Day, Martin_Luther_King_Jr's_Birthday, Martinmas, May_1, May_Day, Memorial_Day...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12578-12582
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12577-12577 Holiday is a subclass of time interval

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 264-264 ChristianHoliday is a subclass of holiday
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 215-215 Eid al fitr is a subclass of holiday
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12584-12584 Fixed holiday is a subclass of holiday
No TPTP formula. May not be expressible in strict first order. Media.kif 276-276 JewishHoliday is a subclass of holiday
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12589-12589 Moveable holiday is a subclass of holiday
No TPTP formula. May not be expressible in strict first order. Media.kif 288-288 USHoliday is a subclass of holiday
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28306-28306
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28305-28305
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28304-28304

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 590-590 The number 1 argument of commemorates date is an instance of holiday
No TPTP formula. May not be expressible in strict first order. Media.kif 239-239 The number 2 argument of observesHoliday is an instance of holiday
No TPTP formula. May not be expressible in strict first order. Government.kif 548-548 The number 2 argument of national celebration is a subclass of holiday
No TPTP formula. May not be expressible in strict first order. Government.kif 558-558 The number 2 argument of national holiday is a subclass of holiday

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 249-252

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12604-12609


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