TreeView Knowledge Base Browser - WebPage

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WebPage

WebPage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 1479-1485
No TPTP formula. May not be expressible in strict first order.	Media.kif 1486-1486	WebPage 是数字数据的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2231-2231	ProductDescriptionPage 是 WebPage 的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2728-2728	SearchResultsPage 是 WebPage 的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2262-2262	ViewItemPage 是 WebPage 的 subclass

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2170-2170	homePage 的 1 数量是 WebPage 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4314-4314	treatedPage 的 1 数量是 WebPage 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4313-4313	webPageURL 的 1 数量是 WebPage 的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3961-3986	如果 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 4379-4394	如果人类是人类的 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 3871-3906	如果群体是群体的 instance 和另一个群体是群体的 instance 和那个另外群体是那个群体的真正的子集和对所有客体如果那个客体是那个群体的 member，然后那个客体是 AccessingWebPage 的 instance 和对所有过程，施事体,，，另一个客体,，，那个过程， and 和第三客体如果那个施事体是人类的 instance 和那个过程是购买的 instance 和那个另外客体是 AccessingWebPage 的 instance 和那个第三客体是 WebPage 的 instance 和那个另外客体是那个群体的 member 和那个另外客体在那个第三客体结束和那个施事体是那个过程的 agent 和那个施事体是那个另外客体的 agent 和那个过程出现的 time 在那个另外客体出现的 time 时段内发生和那个第三客体是导致那个过程的 instrument，然后那个过程是那个另外群体的 member ，然后 purchases 花在那个群体期间时距 equal 实体_IN_INTERVAL 所描述的类别 instance 的数量和另一个实体_IN_INTERVAL 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4356-4361	如果处理页面的 definition 在试验是公式和 WebPage 是 WebPage 的 instance 和那个公式提到那个 WebPage，然后那个 WebPage 是那个试验的研究对象

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2688-2694	如果实体是串列的 member 和那个串列是 SRPResults 的 instance，然后那个实体是 WebListing 的 instance 或那个实体是 WebPage 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2587-2591	如果过程是 SEO 的 instance 和实体是那个过程的 patient，然后那个实体是 WebPage 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2345-2349	如果群体是 WebStore 的 instance 和客体是那个群体的 member，然后那个客体是 WebPage 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 957-967	如果串列是样品清单 viewed 由施事体和过程是那个串列的 member，然后那个过程是 AccessingWebPage 的 instance 和那个施事体是那个过程的 agent 和有存在实体这样那个实体是 WebPage 的 instance 和那个过程在 WebPage 结束
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 917-928	如果 Identifier 是 WebBrowser 的 ID 当取用 WebSite ，然后有存在躯体性物体，过程， and 和施事体这样那个躯体性物体是 WebPage 的 instance 和那个躯体性物体是那个 WebSite 的 component 和那个过程是 AccessingWebPage 的 instance 和那个施事体是施事体的 instance 和那个施事体是那个过程的 agent 和那个 WebBrowser 是导致那个过程的 instrument 和那个过程在那个躯体性物体结束和那个 Identifier 表达那个施事体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 157-163	如果 WebListing 是在 WebSite hosted ，然后有存在躯体性物体这样那个躯体性物体是 WebPage 的 instance 和那个 WebListing 是那个躯体性物体的 component 和那个躯体性物体是那个 WebSite 的 component
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2681-2686	如果过程是 DownloadingOverNetwork 的 instance，然后有存在实体这样那个实体是那个过程的 patient 和那个实体是 WebPage 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2193-2198	如果躯体性物体是 WebPageModule 的 instance，然后有存在另一个躯体性物体这样那个另外躯体性物体是 WebPage 的 instance 和那个躯体性物体是那个另外躯体性物体的 component
No TPTP formula. May not be expressible in strict first order.	Media.kif 1498-1503	如果躯体性物体是 WebSite 的 instance，然后有存在另一个躯体性物体这样那个另外躯体性物体是 WebPage 的 instance 和那个另外躯体性物体是那个躯体性物体的 component
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4280-4286	如果 AccessingWebPage 是 accessed 在其间 WebPage ，然后有存在试验这样那个试验是 WebPage 的 instance 和那个试验是那个 AccessingWebPage 的 patient 和那个 WebPage 是那个试验的研究对象
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2377-2395	如果数据库是 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 1740-1748	如果施事体 viewed WebListing ，然后有存在躯体性物体和过程这样那个躯体性物体是 WebPage 的 instance 和那个过程是 AccessingWebPage 的 instance 和那个 WebListing 是那个躯体性物体的 component 和那个施事体是那个过程的 agent 和那个过程在那个躯体性物体结束
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 542-549	如果 WebStore 有 advertisement 广告，然后有存在实体和躯体性物体这样那个广告提到那个实体和那个广告是那个躯体性物体的 component 和那个躯体性物体是 WebPage 的 instance 和那个躯体性物体是那个 WebStore 的 member
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2917-2925	如果施事体是对于 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 1412-1420	如果施事体是对于 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