Sigma KB Term Intersection

(=> (and (instance ?WED Wedding) (date ?WED ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (weddingAnniversary ?WED ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 24195-24206	例 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
(subclass Wedding Ceremony)	Mid-level-ontology.kif 7960-7960	子類婚禮 and Ceremony
(subclass Wedding Declaring)	Mid-level-ontology.kif 7961-7961	子類婚禮 and Declaring
(subclass ReligiousWedding Wedding)	Biography.kif 53-53	子類 ReligiousWedding and 婚禮