TreeView Knowledge Base Browser - Hanukkah

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Hanukkah

Hanukkah(hanukkah)

Channukah, Channukkah, Chanukah, Chanukkah, Feast_of_Dedication, Feast_of_Lights, Feast_of_the_Dedication, Festival_of_Lights, Hannukah, Hanukah, Hanukkah

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 572-578
No TPTP formula. May not be expressible in strict first order.	Media.kif 570-570	Hanukkah is a subclass of Jewish holiday
No TPTP formula. May not be expressible in strict first order.	Media.kif 571-571	Hanukkah is a subclass of moveable holiday

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 64964-64964

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 587-597	If a time interval is an instance of hanukkah and a time point is equal to the beginning of the time interval, then there exists a time position such that the time point is a part of the time position and the time position is an instance of month and the time position is an instance of November or the time position is an instance of December
No TPTP formula. May not be expressible in strict first order.	Media.kif 580-582	If a time interval is an instance of hanukkah, then duration of the time interval is 8 day duration(s)

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