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

If a physical is an instance of wedding and date of the physical is a day and the day is an instance of the day a positive integer,
then there exist another kind of day and an integer such that weddingAnniversary the physical and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and the other kind of day is equal to the day the positive integer and the integer is greater than another integer

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