TreeView Knowledge Base Browser - WebListing

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WebListing

WebListing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 29-30
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 26-26	WebListing 是广告的 subclass

appearance as argument number 2

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

UXExperimentalTerms.kif 27-27

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1020-1020	SellersOtherItemsFn 的 3 数量是 WebListing 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 118-118	hostedOn 的 1 数量是 WebListing 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 101-101	listingBidder 的 1 数量是 WebListing 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 77-77	listingBuyer 的 1 数量是 WebListing 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 48-48	listingSeller 的 1 数量是 WebListing 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2322-2322	searchResult 的 1 数量是 WebListing 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1534-1534	viewedListing 的 2 数量是 WebListing 的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 145-160	如果群体是 WebListingCategory 的 instance 和物理是 WebListing 的 instance 和另一个物理是 WebListing 的 instance 和过程是客体的 instance 和另一个过程是客体的 instance 和那个物理是那个群体的 member 和那个另外物理是那个群体的 member 和那个物理是那个过程的 patient 和那个另外物理是那个另外过程的 patient，然后有存在类这样那个类是类的 instance 和那个过程是那个类的 instance 和那个另外过程是那个类的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是 WebListing 的 instance ，然后有存在实体，另一个实体， and 和第三实体这样那个实体所描述的类别 instance 的数量和那个群体 instance 的数量 equal 在那个群体的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是 WebListing 的 instance ，然后有存在符号串，实体,，，另一个实体， and 和那个符号串这样那个符号串所描述的类别 instance 的数量 equal 在那个群体的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	如果群体是群体的 instance 和 WebSite 是 WebSite 的 instance 和施事体是施事体的 instance 和 WebListing 是 WebListing 的 instance 和时点是时点的 instance 和那个施事体 sells 那个 WebListing 和那个 WebListing 不是那个群体的 member 和对所有物理和另一个物理如果那个物理是 WebListing 的 instance 和那个物理是样品对于 sale 由那个施事体在那个 WebSite 的 member 和那个时点时段是那个物理出现的 time 时段的一 part 和那个物理不 equal 那个 WebListing，然后那个物理是那个群体的 member 和如果那个另外物理是那个群体的 member，然后那个时点时段是那个物理出现的 time 时段的一 part 和那个另外物理是 WebListing 的 instance ，然后东西对于 sale 由那个施事体非列在那个 WebListing 在那个 WebSite 期间那个时点 equal 那个群体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 373-379	如果实体是客体的 instance 和客体是 WebListing 的 instance 和 ForSaleByOwner 是那个客体的 attribute 和那个实体是那个客体的 patient，然后那个实体是车辆的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 381-388	如果客体是客体的 instance 和另一个客体是 WebListing 的 instance 和施事体是施事体的 instance 和 ForSaleByOwner 是那个另外客体的 attribute 和那个施事体 possesses 那个客体，然后那个施事体是人类的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 313-325	如果客体是 WebListing 的 instance 和过程是客体的 instance 和有认知的主事是施事体的 instance 和 AuctionAttribute 是那个客体的 attribute 和那个客体是那个过程的 patient 和那个有认知的主事 created 那个客体，然后那个有认知的主事 desires 有存在实体这样那个实体是 Auctioning 的 instance 和那个过程是那个实体的 patient
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 39-45	如果施事体是 WebListing 的 instance 和 WebSite 是 WebSite 的 instance 和那个施事体是在那个 WebSite hosted 和那个施事体 created 人类，然后那个人类是 seller 在那个 WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2078-2091	如果躯体性物体是 ViewItemPage 的 instance 和过程是 WebListing 的 instance 和那个过程是那个躯体性物体的 component 和实体是那个过程的 patient 和那个实体是物理的 instance，然后有存在另一个过程，第三过程， and 和那个另外过程CONTENT 这样那个第三过程是陈述的 instance 和那个另外过程是那个第三过程的 patient 和那个另外过程提到那个实体和那个另外过程CONTENT 是那个另外过程的 result 和那个另外过程CONTENT 是那个躯体性物体的 part
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1257-1271	如果使用者施事体在 WebSite 是 watching 群体和过程是 WebListing 的 instance 和实体是客体的 instance 和那个实体是那个过程的 patient 和那个过程是那个群体的 member，然后那个施事体 desires 有存在另一个实体这样那个另外实体是购买的 instance 和那个实体是那个另外实体的 patient 和那个施事体是那个另外实体的 agent 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 32-37	如果 WebListing 是 WebListing 的 instance，然后有存在 WebSite 这样那个 WebSite 是 WebSite 的 instance 和那个 WebListing 是在那个 WebSite hosted

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 299-303	如果属性是客体的 attribute 和那个属性是 ListingAttribute 的 instance，然后那个客体是 WebListing 的 instance
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 992-1008	如果施事体是施事体的 instance 和 WebSite 是 WebSite 的 instance，然后有存在群体这样那个群体是群体的 instance 和对所有 WebListing 如果那个 WebListing 是 WebListing 的 instance 和那个 WebListing 是在那个 WebSite hosted 和那个施事体 sells 那个 WebListing ，然后那个 WebListing 是那个群体的 member 和样品对于 sale 由那个施事体在那个 WebSite equal 那个群体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 139-143	如果群体是 WebListingCategory 的 instance 和物理是那个群体的 member，然后那个物理是 WebListing 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是 WebListing 的 instance ，然后有存在实体，另一个实体， and 和第三实体这样那个实体所描述的类别 instance 的数量和那个群体 instance 的数量 equal 在那个群体的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是 WebListing 的 instance ，然后有存在符号串，实体,，，另一个实体， and 和那个符号串这样那个符号串所描述的类别 instance 的数量 equal 在那个群体的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2065-2076	如果躯体性物体是 ViewItemPage 的 instance 和 WebSite 是 WebSite 的 instance 和那个躯体性物体是那个 WebSite 的 component，然后有存在实体和 WebListing 这样那个实体是客体的 instance 和那个 WebListing 是 WebListing 的 instance 和那个 WebListing 是那个躯体性物体的 component 和那个 WebListing 是在那个 WebSite hosted 和那个实体是那个 WebListing 的 patient
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1251-1255	如果使用者施事体在 WebSite 是 watching 群体和物理是那个群体的 member，然后那个物理是 WebListing 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 240-255	如果过程是 FinalValueFee 的 instance，然后有存在 WebListing，金融交易,，，施事体,，，实体， and 和 WebSite 这样那个 WebListing 是 WebListing 的 instance 和那个金融交易是出售的 instance 和那个施事体是施事体的 instance 和那个实体是物理的 instance 和那个 WebListing 是 WebListing 的 instance 和那个实体是那个 WebListing 的 patient 和那个实体是那个金融交易的 patient 和那个金融交易 causes 那个过程和那个施事体是那个过程的 agent 和那个 WebListing 是在那个 WebSite hosted 和那个施事体 possesses 那个 WebSite 和那个施事体 facilitates 那个金融交易
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 220-230	如果过程是 InsertionFee 的 instance，然后有存在实体，另一个过程， and 和施事体这样那个实体是 WebListing 的 instance 和那个另外过程是 ListOnSite 的 instance 和那个施事体是施事体的 instance 和那个实体是那个另外过程的 patient 和那个另外过程 causes 那个过程和那个施事体是那个过程的 agent 和那个施事体是那个另外过程的 agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 209-218	如果过程是 InsertionFee 的 instance，然后有存在 WebSite，施事体， and 和 WebListing 这样那个 WebSite 是 WebSite 的 instance 和那个施事体是施事体的 instance 和那个 WebListing 是 WebListing 的 instance 和那个 WebListing 是在那个 WebSite hosted 和那个施事体 possesses 那个 WebSite 和那个施事体是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 266-286	如果时距是 ListOnSite 的 instance，然后有存在客体，实体,，，另一个时距,，，第三时距， and 和施事体这样那个客体是 WebSite 的 instance 和那个实体是 WebListing 的 instance 和那个另外时距是时距的 instance 和那个第三时距是时距的 instance 和那个实体是那个时距的 patient 和那个另外时距的结束 equal 那个时距的结束和那个时距比那个第三时距发生的earlier 和那个时距接着那个第三时距和不那个实体是在那个客体 hosted 在那个另外时距 holdsDuring 和那个实体是在那个客体 hosted 在那个第三时距 holdsDuring 和那个施事体是那个时距的 agent 和那个施事体 possesses 那个客体
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 959-965	如果人类是 seller 在 WebSite ，然后有存在 WebListing 这样那个 WebListing 是 WebListing 的 instance 和那个人类 sells 那个 WebListing 和那个 WebListing 是在那个 WebSite hosted

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