TTFxFn |
appearance as argument number 1 |
(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 | |
(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 |
(instance TTFxFn BinaryFunction) | UXExperimentalTerms.kif 1481-1481 | TTFx is an instance of binary function |
(range TTFxFn TimeInterval) | UXExperimentalTerms.kif 1494-1494 | The range of TTFx is an instance of time interval |
appearance as argument number 2 |
(format ChineseLanguage TTFxFn "%2 的 time 在 类别 %1 ") | domainEnglishFormat.kif 4838-4838 | |
(format ChineseTraditionalLanguage TTFxFn "%2 的 time 在 類別 %1 ") | domainEnglishFormat.kif 4837-4837 | |
(format EnglishLanguage TTFxFn "the time of %2 in the class %1") | domainEnglishFormat.kif 4836-4836 | |
(termFormat EnglishLanguage TTFxFn "TTFx") | UXExperimentalTerms.kif 1488-1488 |
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 |
|