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 | 域 TTFxFn, 1 and Class |
(domain TTFxFn 2 AccessingWebPage) | UXExperimentalTerms.kif 1492-1492 | 域 TTFxFn, 2 and AccessingWebPage |
(instance TTFxFn BinaryFunction) | UXExperimentalTerms.kif 1481-1481 | 例 TTFxFn and BinaryFunction |
(range TTFxFn TimeInterval) | UXExperimentalTerms.kif 1494-1494 | 範圍 TTFxFn and TimeInterval |
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 |