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