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 25824-25825
(domain weddingAnniversary 1 Physical)	Mid-level-ontology.kif 25829-25829	The number 1 argument of weddingAnniversary is an instance of physical
(domainSubclass weddingAnniversary 2 Day)	Mid-level-ontology.kif 25830-25830	The number 2 argument of weddingAnniversary is a subclass of day
(instance weddingAnniversary BinaryPredicate)	Mid-level-ontology.kif 25827-25827	weddingAnniversary is an instance of binary predicate
(instance weddingAnniversary TemporalRelation)	Mid-level-ontology.kif 25828-25828	weddingAnniversary is an instance of temporal relation
(subrelation weddingAnniversary anniversary)	Mid-level-ontology.kif 25831-25831	weddingAnniversary is a subrelation of anniversary

appearance as argument number 2

(termFormat EnglishLanguage weddingAnniversary "wedding anniversary")

Mid-level-ontology.kif 25826-25826

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 25833-25844

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 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 equal the other kind of day and 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: