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 | Il numero 1 argomenti di TTFxFn è un istanza di Classe |
(domain TTFxFn 2 AccessingWebPage) | UXExperimentalTerms.kif 1492-1492 | Il numero 2 argomenti di TTFxFn è un istanza di AccessingWebPage |
(instance TTFxFn BinaryFunction) | UXExperimentalTerms.kif 1481-1481 | TTFxFn è un' istanza di FunzioneBinaria |
(range TTFxFn TimeInterval) | UXExperimentalTerms.kif 1494-1494 | rango di TTFxFn è un'istanza di IntervalloTemporale |
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 |