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 24187-24188
(domain weddingAnniversary 1 Physical)	Mid-level-ontology.kif 24191-24191	Le nombre 1 argument de weddingAnniversary est une instance de physique
(domainSubclass weddingAnniversary 2 Day)	Mid-level-ontology.kif 24192-24192	Le nombre 2 argument de weddingAnniversary est une sous-classe de jour
(instance weddingAnniversary BinaryPredicate)	Mid-level-ontology.kif 24189-24189	weddingAnniversary est une instance de pr�dicat binaire
(instance weddingAnniversary TemporalRelation)	Mid-level-ontology.kif 24190-24190	weddingAnniversary est une instance de relation temporel
(subrelation weddingAnniversary anniversary)	Mid-level-ontology.kif 24193-24193	weddingAnniversary est une sous-relation de anniversary

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 24195-24206

Physique est une instance de Wedding la date de physique est jour jour est une instance de le jour nombre entier positif
jour nombre entier weddingAnniversary physique and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier

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

KB Term:			Term intersection

English Word: