TreeView Knowledge Base Browser

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: