| appearance as argument number 1 |
|
| (documentation WeekBeforeFn EnglishLanguage "A Function that returns the week immediately preceding the beginning of the given TimePosition.") | Mid-level-ontology.kif 14275-14276 | |
| (domain WeekBeforeFn 1 TimePosition) | Mid-level-ontology.kif 14273-14273 | The number 1 argument of WeekBeforeFn is an instance of time position |
| (instance WeekBeforeFn UnaryFunction) | Mid-level-ontology.kif 14272-14272 | WeekBeforeFn is an instance of unary function |
| (range WeekBeforeFn Week) | Mid-level-ontology.kif 14274-14274 | The range of WeekBeforeFn is an instance of week |
| antecedent |
|
|
| (=> (and (equal ?WF (WeekBeforeFn (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal ?WF (DayFn ?D2 (MonthFn ?M (YearFn ?Y))))) (equal ?D2 (SubtractionFn ?D 7))) |
Mid-level-ontology.kif 14278-14290 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners