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 1477-1483
No TPTP formula. May not be expressible in strict first order.	Media.kif 1484-1484	WebPage 是数字数据的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2027-2027	ProductDescriptionPage 是 WebPage 的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2523-2523	SearchResultsPage 是 WebPage 的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2058-2058	ViewItemPage 是 WebPage 的 subclass
No TPTP formula. May not be expressible in strict first order.	Media.kif 1485-1485	ViewItemPage 是 WebPage 的 subclass

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1966-1966	homePage 的 1 数量是 WebPage 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4112-4112	treatedPage 的 1 数量是 WebPage 的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4388-4388	webPageURL 的 1 数量是 WebPage 的 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 和那个过程是那个 AccessingWebPage的subProcess 和那个另外过程是那个 AccessingWebPage的subProcess 和 equal 那个另外过程出现的 time 的结束 and 那个时距的开始和 equal 那个过程出现的 time 的结束 and 那个时距的结束，然后 equal access 的时间在那个 AccessingWebPage and 那个时距
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 那个群体 and 所有的 treated web page 浏览从那个人类
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 这样 equal purchases 花在那个群体期间那个时距 and 那个实体_IN_INTERVAL 所描述的类别 instance 的数量和那个另外实体_IN_INTERVAL 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4152-4157	如果处理页面的 definition 在试验是公式和 WebPage 是 WebPage 的 instance 和那个公式提到那个 WebPage，然后那个 WebPage 是那个试验的研究对象

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2483-2489	如果实体是串列的 member 和那个串列是 SRPResults 的 instance，然后那个实体是 WebListing 的 instance 或那个实体是 WebPage 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2382-2386	如果过程是 SEO 的 instance 和实体是那个过程的 patient，然后那个实体是 WebPage 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2141-2145	如果群体是 WebStore 的 instance 和物理是那个群体的 member，然后那个物理是 WebPage 的 instance
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 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 125-131	如果符号串是在 WebSite hosted ，然后有存在另一个符号串这样那个另外符号串是 WebPage 的 instance 和那个符号串是那个另外符号串的 sub-string 和那个另外符号串是那个 WebSite 的 sub-string
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2667-2672	如果过程是下載的 instance，然后有存在实体这样那个实体是那个过程的 patient 和那个实体是 WebPage 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1989-1994	如果躯体性物体是 WebPageModule 的 instance，然后有存在另一个躯体性物体这样那个另外躯体性物体是 WebPage 的 instance 和那个躯体性物体是那个另外躯体性物体的 component
No TPTP formula. May not be expressible in strict first order.	Media.kif 1497-1502	如果躯体性物体是 WebSite 的 instance，然后有存在另一个躯体性物体这样那个另外躯体性物体是 WebPage 的 instance 和那个另外躯体性物体是那个躯体性物体的 component
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4079-4085	如果 AccessingWebPage 是 accessed 在其间 WebPage ，然后有存在试验这样那个试验是 WebPage 的 instance 和那个试验是那个 AccessingWebPage 的 patient 和那个 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.	UXExperimentalTerms.kif 434-441	如果 WebStore 有 advertisement 广告，然后有存在实体和躯体性物体这样那个广告提到那个实体和那个广告是那个躯体性物体的 component 和那个躯体性物体是 WebPage 的 instance 和那个躯体性物体是那个 WebStore 的 member
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2956-2964	如果施事体是对于 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