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 24507-24508
(domain weddingAnniversary 1 Physical)	Mid-level-ontology.kif 24511-24511	weddingAnniversary 的 1 数量是物理的 instance
(domainSubclass weddingAnniversary 2 Day)	Mid-level-ontology.kif 24512-24512	weddingAnniversary 的 2 数量是日的 subclass
(instance weddingAnniversary BinaryPredicate)	Mid-level-ontology.kif 24509-24509	weddingAnniversary 是二元谓语的 instance
(instance weddingAnniversary TemporalRelation)	Mid-level-ontology.kif 24510-24510	weddingAnniversary 是时间关系的 instance
(subrelation weddingAnniversary anniversary)	Mid-level-ontology.kif 24513-24513	weddingAnniversary 是周年的 subrelation

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 24515-24526

如果物理是婚礼的 instance 和那个物理的 date 是日和那个日是正整数 day 的 instance，
然后有存在另一个有点日和整数这样 weddingAnniversary 那个物理 and 另一个有点日和那个另外有点日是日的 subclass 和那个整数是整数的 instance 和那个另外有点日 equal 那个正整数 day 和那个整数是 greaterThan 另一个整数

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

KB Term:			Term intersection

English Word: