Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TTFxFn |
| appearance as argument number 1 |
|
| (instance TTFxFn BinaryFunction) | UXExperimentalTerms.kif 1481-1481 | TTFx is an instance of binary function |
| (documentation TTFxFn EnglishLanguage "(TTFxFn ?CLASS ?ACCESSING) returns a TimeInterval where the BeginFn is the begining of the AccessingWebPage ?ACCESSING and and the EndFn is the BeginFn of the first instance of a Process of class ?CLASS that occcurs during ?ACCESSING, and the agent of that Proccess is the same as the agent of the ?ACCESSING.") | UXExperimentalTerms.kif 1483-1486 | TTFx is an instance of binary function |
| (domain TTFxFn 1 Class) | UXExperimentalTerms.kif 1490-1490 | The number 1 argument of TTFx is an instance of class |
| (domain TTFxFn 2 AccessingWebPage) | UXExperimentalTerms.kif 1492-1492 | The number 2 argument of TTFx is an instance of accessing web page |
| (range TTFxFn TimeInterval) | UXExperimentalTerms.kif 1494-1494 | The range of TTFx is an instance of timeframe |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TTFxFn "TTFx") | UXExperimentalTerms.kif 1488-1488 | |
| (format EnglishLanguage TTFxFn "the time of %2 in the class %1") | domainEnglishFormat.kif 4842-4842 | |
| (format ChineseTraditionalLanguage TTFxFn "%2 的 time 在 類別 %1 ") | domainEnglishFormat.kif 4843-4843 | |
| (format ChineseLanguage TTFxFn "%2 的 time 在 类别 %1 ") | domainEnglishFormat.kif 4844-4844 |
| consequent |
|
|
| (=> (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 | If All of the following hold: (1) X is an instance of ?PROCESS_CLASS (2) ?PROCESS_CLASS is a subclass of process (3) Y is an instance of accessing web page (4) Z is an instance of agent (5) Z is an agent of X (6) Z is an agent of Y (7) X takes place during Y (8) W is an instance of timeframe (9) there doesn't exist V such that V is an instance of ?PROCESS_CLASS, Z is an agent of V, V takes place during Y, and the beginning of the time of existence of V happens before the beginning of the time of existence of X (10) equal the beginning of the time of existence of Y and the beginning of the time of existence of W (11) equal the beginning of the time of existence of X and the end of the time of existence of W, then equal the time of Y in the class ?PROCESS_CLASS and W |
|