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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Holiday

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 14849-14853
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14848-14848 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 Christian holiday is a subclass of holiday
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 228-228 Eid al fitr is a subclass of holiday
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14855-14855 Fixed holiday is a subclass of holiday
No TPTP formula. May not be expressible in strict first order. Media.kif 276-276 Jewish holiday is a subclass of holiday
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14860-14860 Moveable holiday is a subclass of holiday
No TPTP formula. May not be expressible in strict first order. Media.kif 288-288 US holiday is a subclass of holiday
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28383-28383
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28382-28382
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28381-28381

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


No TPTP formula. May not be expressible in strict first order. Media.kif 239-239 The number 2 argument of observes holiday is an instance of holiday
No TPTP formula. May not be expressible in strict first order. Government.kif 603-603 The number 1 argument of commemorates date is a subclass of holiday
No TPTP formula. May not be expressible in strict first order. Government.kif 561-561 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 571-571 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 14875-14880


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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