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 24244-24245
(domain weddingAnniversary 1 Physical)	Mid-level-ontology.kif 24248-24248	域 weddingAnniversary, 1 and Physical
(domainSubclass weddingAnniversary 2 Day)	Mid-level-ontology.kif 24249-24249	域子類 weddingAnniversary, 2 and Day
(instance weddingAnniversary BinaryPredicate)	Mid-level-ontology.kif 24246-24246	例 weddingAnniversary and BinaryPredicate
(instance weddingAnniversary TemporalRelation)	Mid-level-ontology.kif 24247-24247	例 weddingAnniversary and TemporalRelation
(subrelation weddingAnniversary anniversary)	Mid-level-ontology.kif 24250-24250	子關係 weddingAnniversary and 週年

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 24252-24263

例 Physical and 婚禮日期 Physical and Day 例 Day and 天 PositiveInteger and 月 Month and 年 Integer
Day Integer weddingAnniversary Physical and Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer

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

KB Term:			Term intersection

English Word: