Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WeekBeforeFn |
| appearance as argument number 1 |
|
| (instance WeekBeforeFn UnaryFunction) | Mid-level-ontology.kif 16422-16422 | Week before fn is an instance of unary function |
| (domain WeekBeforeFn 1 TimePosition) | Mid-level-ontology.kif 16423-16423 | The number 1 argument of week before fn is an instance of time position |
| (range WeekBeforeFn Week) | Mid-level-ontology.kif 16424-16424 | The range of week before fn is an instance of week |
| (documentation WeekBeforeFn EnglishLanguage "A Function that returns the week immediately preceding the beginning of the given TimePosition.") | Mid-level-ontology.kif 16425-16426 | The range of week before fn is an instance of week |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WeekBeforeFn "week before fn") | domainEnglishFormat.kif 65730-65730 |
| antecedent |
|
|
| (=> (and (instance ?D2 (DayFn ?N2 (MonthFn ?M (YearFn ?Y)))) (temporalPart ?D1 (WeekBeforeFn ?D2)) (temporalPart ?D2 (WeekAfterFn ?D1))) (exists (?N1) (and (instance ?D1 (DayFn ?N1 (MonthFn ?M (YearFn ?Y)))) (equal ?N1 (SubtractionFn ?N2 7))))) |
Mid-level-ontology.kif 16444-16453 | If X is an instance of the day Y of month the month Z, W is a part of week before fn X, and X is a part of week after fn W, then there exists V such that W is an instance of the day V of month the month Z and equal V and (Y and 7) |
| consequent |
|
|
| (=> (equal ?WKBMC (WeekBeforeMenstruationFn ?W)) (equal ?WKBC (KappaFn ?C (and (instance ?C Week) (exists (?M) (and (instance ?M Menstruation) (experiencer ?M ?W) (equal ?C (WeekBeforeFn (WhenFn ?M))))))))) |
Medicine.kif 1505-1518 | If equal X and week before menstruation Y, then equal Z and the class described by W |
|