TreeView Knowledge Base Browser - weddingAnniversary

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 24475-24476
(domain weddingAnniversary 1 Physical)	Mid-level-ontology.kif 24479-24479
(domainSubclass weddingAnniversary 2 Day)	Mid-level-ontology.kif 24480-24480
(instance weddingAnniversary BinaryPredicate)	Mid-level-ontology.kif 24477-24477
(instance weddingAnniversary TemporalRelation)	Mid-level-ontology.kif 24478-24478
(subrelation weddingAnniversary anniversary)	Mid-level-ontology.kif 24481-24481

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 24483-24494

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

KB Term:			Term intersection

English Word: