weddingAnniversary - Sigma Knowledge base Browser

appearance as argument number 1

(documentation weddingAnniversary EnglishLanguage "(weddingAnniversary ?PHYSICAL ?TIME) means that ?TIME is the class of TimeIntervals which mark the anniversary of their weddingdate.")	Mid-level-ontology.kif 25852-25853
(domain weddingAnniversary 1 Physical)	Mid-level-ontology.kif 25857-25857	The number 1 argument of wedding anniversary is an instance of physical
(domainSubclass weddingAnniversary 2 Day)	Mid-level-ontology.kif 25858-25858	The number 2 argument of wedding anniversary is a subclass of day
(instance weddingAnniversary BinaryPredicate)	Mid-level-ontology.kif 25855-25855	wedding anniversary is an instance of binary predicate
(instance weddingAnniversary TemporalRelation)	Mid-level-ontology.kif 25856-25856	wedding anniversary is an instance of temporal relation
(subrelation weddingAnniversary anniversary)	Mid-level-ontology.kif 25859-25859	wedding anniversary is a subrelation of anniversary

appearance as argument number 2

(termFormat EnglishLanguage weddingAnniversary "wedding anniversary")

Mid-level-ontology.kif 25854-25854

consequent

(=>
    (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 25861-25872

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 of month the month a kind of month,
then there exist another kind of day and an integer such that wedding anniversary 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 of month the month a kind of month and the integer is greater than another integer

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: