Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Government.kif 619-625	天 PositiveInteger and 月 Month and 年 Integer 是假日的 commemorates 日期例 Entity and 假日子類假日 and 固定假期小於或等於 Integer and entity-YEAR 例 Entity and 天 PositiveInteger and 月 Month and 年 entity-YEAR
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14855-14855	子類固定假期 and 假日
No TPTP formula. May not be expressible in strict first order.	Media.kif 336-336	子類 ChristmasDay and 固定假期
No TPTP formula. May not be expressible in strict first order.	Media.kif 518-518	子類 Epiphany and 固定假期