Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24194-24205	例 Physical and 婚禮日期 Physical and Day 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer weddingAnniversary Physical and Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7959-7959	子類婚禮 and Ceremony
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7960-7960	子類婚禮 and Declaring
No TPTP formula. May not be expressible in strict first order.	Biography.kif 53-53	子類 ReligiousWedding and 婚禮