Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Tazac
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Week TimeInterval) | Merge.kif 9543-9543 | Week is a subclass of timeframe |
| (documentation Week EnglishLanguage "The Class of all calendar weeks.") | Merge.kif 9545-9545 | Week is a subclass of timeframe |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/9/91/ Weekday_heptagram.ant.png") | pictureList.kif 6972-6972 | Week is a subclass of timeframe |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/4/4b/ MerrillCoveyWeeklyWorksheet.png") | pictureList.kif 8255-8255 | Week is a subclass of timeframe |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/e/e8/ WeeklySchedule.png") | pictureList.kif 8256-8256 | Week is a subclass of timeframe |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Starlight_Mountain_Festival_1994_schedule_as_published.jpg") | pictureList.kif 8257-8257 | Week is a subclass of timeframe |
| appearance as argument number 2 |
|
|
| (rangeSubclass WeekFn Week) | Merge.kif 9154-9154 | The values returned by week fn are subclasses of week |
| (range WeekAfterFn Week) | Mid-level-ontology.kif 16417-16417 | The range of week after fn is an instance of week |
| (range WeekBeforeFn Week) | Mid-level-ontology.kif 16424-16424 | The range of week before fn is an instance of week |
| (termFormat EnglishLanguage Week "week") | english_format.kif 1815-1815 | The range of week before fn is an instance of week |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9445-9452 | If X is an instance of Sunday, Y is an instance of Monday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| (=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9458-9465 | If X is an instance of Monday, Y is an instance of Tuesday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| (=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9471-9478 | If X is an instance of Tuesday, Y is an instance of Wednesday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| (=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9484-9491 | If X is an instance of Wednesday, Y is an instance of Thursday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| (=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9497-9504 | If X is an instance of Thursday, Y is an instance of Friday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| (=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9510-9517 | If X is an instance of Friday, Y is an instance of Saturday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| (=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (not (meetsTemporally ?DAY1 ?DAY2))) |
Merge.kif 9523-9530 | If X is an instance of Saturday, Y is an instance of Sunday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X doesn't meet Y |
| (=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK1 Week) (instance ?WEEK2 Week) (temporalPart ?DAY1 ?WEEK1) (temporalPart ?DAY2 ?WEEK2) (meetsTemporally ?WEEK1 ?WEEK2)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9532-9541 | If All of the following hold: (1) X is an instance of Saturday (2) Y is an instance of Sunday (3) Z is an instance of week (4) W is an instance of week (5) X is a part of Z (6) Y is a part of W (7) Z meets W, then X meets Y |
| (=> (instance ?WEEK Week) (duration ?WEEK (MeasureFn 1 WeekDuration))) |
Merge.kif 9547-9549 | If X is an instance of week, then duration of X is 1 week duration(s) |
| (=> (and (instance ?S Sunday) (instance ?W Week) (during ?S ?W)) (starts ?S ?W)) |
Merge.kif 9551-9556 | If X is an instance of Sunday, Y is an instance of week, and X takes place during Y, then X starts Y |
| (=> (and (instance ?S Saturday) (instance ?W Week) (during ?S ?W)) (finishes ?S ?W)) |
Merge.kif 9558-9563 | If X is an instance of Saturday, Y is an instance of week, and X takes place during Y, then X finishes Y |
| (=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7)) |
Merge.kif 9694-9696 | If X is an instance of week, then equal the number of instances in decomposition of X into days and 7 |
| (=> (and (subclass ?PAPER Newspaper) (instance ?WEEK Week)) (exists (?PUBLICATION ?ISSUE) (and (instance ?PUBLICATION Publication) (temporalPart (WhenFn ?PUBLICATION) ?WEEK) (result ?PUBLICATION ?ISSUE) (instance ?ISSUE ?PAPER)))) |
Mid-level-ontology.kif 16396-16405 | If X is a subclass of newspaper and Y is an instance of week, then there exist Z, W such that Z is an instance of publication, the time of existence of Z is a part of Y, W is a result of Z, and W is an instance of X |
| 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 |
|
