TreeView Knowledge Base Browser - AccessingWebPage

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

AccessingWebPage

Sigma KEE - AccessingWebPage

AccessingWebPage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2664-2665
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2663-2663	AccessingWebPage 是 NetworkCommunication 的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 64397-64397

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3747-3747	SiteSpeedFn 的 1 数量是 AccessingWebPage 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1492-1492	TTFxFn 的 2 数量是 AccessingWebPage 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4074-4074	qualifiedPageView 的 2 数量是 AccessingWebPage 的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	如果 AccessingWebPage 是 AccessingWebPage 的 instance 和实体是 WebPage 的 instance 和过程是数据传输的 instance 和客体是服务器的 instance 和另一个过程是要求的 instance 和施事体是 WebBrowser 的 instance 和时距是时距的 instance 和那个实体是那个 AccessingWebPage 的 patient 和那个施事体是那个另外过程的 agent 和那个另外过程在那个客体结束和那个实体是那个另外过程的 patient 和那个客体是那个过程的源头和那个过程在那个施事体结束和那个实体是那个过程的 patient 和那个过程%n是那个 AccessingWebPage的subProcess 和那个另外过程%n是那个 AccessingWebPage的subProcess 和那个另外过程出现的 time 的结束 equal 那个时距的开始和那个过程出现的 time 的结束 equal 那个时距的结束，然后 access 的时间在那个 AccessingWebPage equal 那个时距
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	如果时距是那个时距_CLASS 的 instance 和那个时距_CLASS 是过程的 subclass 和 AccessingWebPage 是 AccessingWebPage 的 instance 和施事体是施事体的 instance 和那个施事体是那个时距的 agent 和那个施事体是那个 AccessingWebPage 的 agent 和那个时距在那个 AccessingWebPage 时段内发生和物理是时距的 instance 和不存在那个时距2 这样那个时距2 是那个时距_CLASS 的 instance 和那个施事体是那个时距2 的 agent 和那个时距2 在那个 AccessingWebPage 时段内发生和那个时距2 出现的 time 的开始%n在那个时距出现的 time 的开始before发生和那个 AccessingWebPage 出现的 time 的开始 equal 那个物理出现的 time 的开始和那个时距出现的 time 的开始 equal 那个物理出现的 time 的结束，然后那个 AccessingWebPage 的 time 在类别那个时距_CLASS equal 那个物理
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1570-1581	如果过程是 ViewItemRequest 的 instance 和另一个过程是 AccessingWebPage 的 instance 和躯体性物体是 ViewItemPage 的 instance 和施事体是施事体的 instance 和 WebListing 是广告的 instance 和那个另外过程%n是那个过程的subProcess 和那个躯体性物体是那个 WebListing 的 component 和那个另外过程在那个躯体性物体结束和那个施事体是那个另外过程的 agent，然后那个施事体 viewed 那个 WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4175-4190	如果人类是人类的 instance 和群体是群体的 instance 和对所有 WebPage，过程， and 和试验如果那个 WebPage 是 WebPage 的 instance 和那个过程是 AccessingWebPage 的 instance 和那个试验是试验的 instance 和那个人类是那个过程的 agent 和那个 WebPage 是那个过程的 patient 和那个 WebPage 是那个试验的研究对象，然后那个过程是那个群体的 member ，然后那个群体 equal 所有的 treated web page 浏览从那个人类
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	如果群体是群体的 instance 和躯体性物体是 HypertextLink 的 instance 和对所有物理那个物理是另一个群体的 member 和那个物理是 AccessingWebPage 的 instance 和那个另外群体是那个躯体性物体的 component，然后有存在第三群体这样那个第三群体是群体的 instance 和对所有过程如果那个过程是 RequestingHyperlink 的 instance 和那个躯体性物体是那个过程的 patient，然后那个过程是那个第三群体的 member 和点击通过那个躯体性物体的 rate 在那个群体 equal 那个第三群体 instance 的数量和那个群体 instance 的数量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	如果群体是群体的 instance 和另一个群体是群体的 instance 和那个另外群体是那个群体的真正的子集和对所有物理如果那个物理是那个群体的 member，然后那个物理是 AccessingWebPage 的 instance 和对所有过程，施事体,，，另一个过程,，，那个过程， and 和客体如果那个施事体是人类的 instance 和那个过程是购买的 instance 和那个另外过程是 AccessingWebPage 的 instance 和那个客体是 WebPage 的 instance 和那个另外过程是那个群体的 member 和那个另外过程在那个客体结束和那个施事体是那个过程的 agent 和那个施事体是那个另外过程的 agent 和那个过程出现的 time 在那个另外过程出现的 time 时段内发生和那个客体是导致那个过程的 instrument，然后那个过程是那个另外群体的 member ，然后有存在时距，实体_IN_INTERVAL， and 和另一个实体_IN_INTERVAL 这样 purchases 花在那个群体期间那个时距 equal 那个实体_IN_INTERVAL 所描述的类别 instance 的数量和那个另外实体_IN_INTERVAL 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 783-797	如果串列是样品清单 viewed 由施事体和物理是 AccessingWebPage 的 instance 和那个串列的 first equal 那个物理，然后不存在那个物理2 这样那个物理2 是 AccessingWebPage 的 instance 和那个施事体是那个物理2 的 agent 和那个物理2 出现的 time 比那个物理出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 799-817	如果串列是样品清单 viewed 由施事体和过程是 AccessingWebPage 的 instance 和另一个过程是 AccessingWebPage 的 instance 和那个施事体是那个过程的 agent 和那个施事体是那个另外过程的 agent 和正整数是正整数的 instance 和另一个正整数是正整数的 instance 和那个串列的第那个正整数几个元素 equal 那个过程和那个串列的第那个另外正整数几个元素 equal 那个另外过程和那个正整数是 greaterThan 那个另外正整数，然后那个另外过程出现的 time 比那个过程出现的 time发生的earlier

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	如果试验是试验的 instance 和时距是时距的 instance，然后符号串所描述的类别 instance 的数量和另一个符号串所描述的类别 instance 的数量 equal purchases per user 在那个试验期间那个时距
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	如果试验是试验的 instance 和实体是时距的 instance，然后符号串所描述的类别 instance 的数量和另一个符号串所描述的类别 instance 的数量 equal purchases per user 在那个试验
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 771-781	如果串列是样品清单 viewed 由施事体和过程是那个串列的 member，然后那个过程是 AccessingWebPage 的 instance 和那个施事体是那个过程的 agent 和有存在实体这样那个实体是 WebPage 的 instance 和那个过程在 WebPage 结束
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 783-797	如果串列是样品清单 viewed 由施事体和物理是 AccessingWebPage 的 instance 和那个串列的 first equal 那个物理，然后不存在那个物理2 这样那个物理2 是 AccessingWebPage 的 instance 和那个施事体是那个物理2 的 agent 和那个物理2 出现的 time 比那个物理出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 736-748	如果 Identifier 是 WebBrowser 的 ID 当取用 WebSite ，然后有存在符号串，过程,，，施事体， and 和电脑程序这样那个符号串是 WebPage 的 instance 和那个符号串是那个 WebSite 的 sub-string 和那个过程是 AccessingWebPage 的 instance 和那个施事体是施事体的 instance 和那个施事体是那个过程的 agent 和那个 WebBrowser 是那个电脑程序的执行 program 和那个电脑程序 causes 那个过程和那个过程在那个符号串结束和那个 Identifier 表达那个施事体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2104-2110	如果物理是 WebBrowser 的 instance，然后那个物理的目的是有存在实体这样那个实体是 AccessingWebPage 的 instance 和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1559-1568	如果过程是 ViewItemRequest 的 instance，然后有存在另一个过程，第三过程， and 和实体这样那个另外过程是 RequestingHyperlink 的 instance 和那个实体是 ViewItemPage 的 instance 和那个第三过程是 AccessingWebPage 的 instance 和那个另外过程 causes 那个第三过程和那个第三过程在那个实体结束和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4125-4136	如果 WebPage 是试验的研究对象，然后有存在施事体，另一个施事体， and 和过程这样那个施事体是 events 在那个试验的 member 和如果那个另外施事体是人类的 instance 和那个过程是 AccessingWebPage 的 instance 和那个另外施事体是那个过程的 agent 和那个过程在那个 WebPage 结束，然后那个施事体经历了那个另外施事体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2173-2191	如果数据库是 user database 对于 WebSite ，然后有存在客体和群体这样那个群体是群体的 instance 和那个客体是那个数据库的 part 和那个客体表达那个群体和对所有物理如果那个物理是那个群体的 member，然后那个物理是施事体的 instance 和有存在过程和躯体性物体这样那个过程是 AccessingWebPage 的 instance 和那个躯体性物体是 WebPage 的 instance 和页是那个过程的 patient 和施事体是那个过程的 agent 和那个躯体性物体是那个 WebSite 的 component
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1536-1544	如果施事体 viewed WebListing ，然后有存在躯体性物体和过程这样那个躯体性物体是 WebPage 的 instance 和那个过程是 AccessingWebPage 的 instance 和那个 WebListing 是那个躯体性物体的 component 和那个施事体是那个过程的 agent 和那个过程在那个躯体性物体结束
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2953-2961	如果施事体是对于 WebSite 的 visitor ，然后有存在那个施事体WS 和躯体性物体这样那个施事体WS 是 AccessingWebPage 的 instance 和那个躯体性物体是 WebPage 的 instance 和那个躯体性物体是那个 WebSite 的 component 和那个施事体是那个施事体WS 的 agent 和那个躯体性物体是那个施事体WS 的 patient
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1218-1226	如果施事体是对于 WebSite 的 visitor ，然后有存在过程和躯体性物体这样那个过程是 AccessingWebPage 的 instance 和那个躯体性物体是 WebPage 的 instance 和那个躯体性物体是那个过程的 patient 和那个躯体性物体是那个 WebSite 的 component 和那个施事体是那个过程的 agent

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners