| (=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Process) (instance ?TIMEINT ?TIME) (subclass ?TIME TimeInterval)) (capabilityDuring ?CLASS agent ?AGENT ?TIME)) |
Catalog.kif 130-137 | |
| (=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?PROCESS ?AGENT) (agent ?ACCESSING ?AGENT) (during ?PROCESS ?ACCESSING) (instance ?TIMETOFIRST TimeInterval) (not (exists (?PROCESS2) (and (instance ?PROCESS2 ?PROCESS_CLASS) (agent ?PROCESS2 ?AGENT) (during ?PROCESS2 ?ACCESSING) (before (BeginFn (WhenFn ?PROCESS2)) (BeginFn (WhenFn ?PROCESS)))))) (equal (BeginFn (WhenFn ?ACCESSING)) (BeginFn (WhenFn ?TIMETOFIRST))) (equal (BeginFn (WhenFn ?PROCESS)) (EndFn (WhenFn ?TIMETOFIRST)))) (equal (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST)) |
UXExperimentalTerms.kif 1496-1518 | |
| (=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINSTANCE ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINSTANCE ?OBJ) (instance ?TIMEINT ?TIME) (subclass ?TIME TimeInterval)) (capabilityDuring ?PROCESS agent ?AGENT ?TIME)) |
Catalog.kif 139-150 | |
| (subclass TimeInterval TimePosition) | Merge.kif 2084-2084 | |
| (subclass Holiday TimeInterval) | Mid-level-ontology.kif 14847-14847 | |
| (subclass AnteMeridiem TimeInterval) | Mid-level-ontology.kif 19090-19090 | |
| (subclass PostMeridiem TimeInterval) | Mid-level-ontology.kif 19103-19103 | |
| (subclass Weekend TimeInterval) | Mid-level-ontology.kif 19117-19117 | |
| (subclass SeasonOfYear TimeInterval) | Mid-level-ontology.kif 19130-19130 | |
| (subclass Year TimeInterval) | Merge.kif 8760-8760 | |
| (subclass Decade TimeInterval) | Merge.kif 8787-8787 | |
| (subclass DayTime TimeInterval) | Merge.kif 8879-8879 | |
| (subclass Sunrise TimeInterval) | Merge.kif 8884-8884 | |
| (subclass Sunset TimeInterval) | Merge.kif 8888-8888 | |
| (subclass NightTime TimeInterval) | Merge.kif 8910-8910 | |
| (subclass QuarterYear TimeInterval) | Merge.kif 9009-9009 | |
| (subclass Month TimeInterval) | Merge.kif 9065-9065 | |
| (subclass Day TimeInterval) | Merge.kif 9252-9252 | |
| (subclass Week TimeInterval) | Merge.kif 9354-9354 | |
| (subclass Hour TimeInterval) | Merge.kif 9362-9362 | |
| (subclass Minute TimeInterval) | Merge.kif 9372-9372 | |
| (subclass Second TimeInterval) | Merge.kif 9382-9382 | |
| (subclass BreakfastTime TimeInterval) | Food.kif 1849-1849 | |
| (subclass LunchTime TimeInterval) | Food.kif 1861-1861 | |
| (subclass DinnerTime TimeInterval) | Food.kif 1878-1878 | |
| (subclass Ramadan TimeInterval) | ArabicCulture.kif 26-26 | |
| (subclass DhuAlHijjah TimeInterval) | ArabicCulture.kif 112-112 |
|
|