Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 26470-26471 | |
| (instance weddingAnniversary BinaryPredicate) | Mid-level-ontology.kif 26473-26473 | wedding anniversary is an instance of binary predicate |
| (instance weddingAnniversary TemporalRelation) | Mid-level-ontology.kif 26474-26474 | wedding anniversary is an instance of temporal relation |
| (domain weddingAnniversary 1 Physical) | Mid-level-ontology.kif 26475-26475 | The number 1 argument of wedding anniversary is an instance of physical |
| (domainSubclass weddingAnniversary 2 Day) | Mid-level-ontology.kif 26476-26476 | The number 2 argument of wedding anniversary is a subclass of day |
| (subrelation weddingAnniversary anniversary) | Mid-level-ontology.kif 26477-26477 | wedding anniversary is a subrelation of anniversary |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage weddingAnniversary "wedding anniversary") | Mid-level-ontology.kif 26472-26472 |
| 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 26479-26490 | If X is an instance of wedding, date of X is Y, and Y is an instance of the day Z of month the month W, then All of the following hold: (1) there exist V (2) U such that wedding anniversary X (3) V (4) V is a subclass of day (5) U is an instance of integer (6) equal V (7) the day Z of month the month W (8) U is greater than T |
|