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	Wenn Physical ist ein fall von Wedding %n{nicht} und datum von Physical ist Day %n{nicht} und Day ist ein fall von der tag PositiveInteger %n{nicht}, dann es gibt Day und Integer um weddingAnniversary Physical and Day und Day ist eine teilkategorie von Day und Integer ist ein fall von Integer %n{nicht} und Day ist gleich der tag PositiveInteger %n{nicht} und Integer ist groesserAls ** Integer %n{nicht}
(subclass Wedding Ceremony)	Mid-level-ontology.kif 7960-7960	Wedding ist eine teilkategorie von Ceremony
(subclass Wedding Declaring)	Mid-level-ontology.kif 7961-7961	Wedding ist eine teilkategorie von Declaring
(subclass ReligiousWedding Wedding)	Biography.kif 53-53	ReligiousWedding ist eine teilkategorie von Wedding