WebListing - Sigma Knowledge base Browser

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 and Advertising

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 and WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 118-118	域 hostedOn, 1 and WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 101-101	域 listingBidder, 1 and WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 77-77	域 listingBuyer, 1 and WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 48-48	域 listingSeller, 1 and WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2322-2322	域 searchResult, 1 and WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1534-1534	域 viewedListing, 2 and WebListing

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 145-160	例 Collection and WebListingCategory 例 Physical and WebListing 例 Physical and WebListing 例 Process and Object 例 Process and Object 會員 Physical and Collection 會員 Physical and Collection 患者 Process and Physical 患者 Process and Physical Class 例 Class and Class 例 Process and Class 例 Process and Class
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing 等於部基數 entity entity and entity 卡帕 entity and 例 entity and WebListing 例 entity and WebSite 例 entity and Physical 會員 entity and Collection 患者 entity and entity entity 是在 entity hosted entity 例 entity and Buying 患者 entity and entity entity facilitates entity and 基數 Collection and 在 Collection 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing SymbolicString entity, entity and SymbolicString 等於基數卡帕 SymbolicString and 例 entity and Physical 例 entity and WebListing 例 SymbolicString and Bidding 會員 entity and Collection SymbolicString 是個 bid 對於 entity 患者 entity and entity and 在 Collection 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	例 Collection and Collection 例 WebSite and WebSite 例 AutonomousAgent and AutonomousAgent 例 WebListing and WebListing 例 TimePoint and TimePoint AutonomousAgent sells WebListing 會員 WebListing and Collection Physical Physical 例 Physical and WebListing 會員 Physical and 樣品對於 sale 由 AutonomousAgent 在 WebSite 時間部分 TimePoint and 何時 Physical 等於 Physical and WebListing 會員 Physical and Collection 會員 Physical and Collection 時間部分 TimePoint and 何時 Physical 例 Physical and WebListing 等於東西對於 sale 由 AutonomousAgent 非列在 WebListing 在 WebSite 期間 TimePoint and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 373-379	例 Entity and Object 例 Object and WebListing attribute Object and ForSaleByOwner 患者 Object and Entity 例 Entity and 車輛
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 381-388	例 Object and Object 例 Object and WebListing 例 AutonomousAgent and AutonomousAgent attribute Object and ForSaleByOwner 擁有 AutonomousAgent and Object 例 AutonomousAgent and Human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 313-325	例 Object and WebListing 例 Process and Object 例 CognitiveAgent and AutonomousAgent attribute Object and AuctionAttribute 患者 Process and Object CognitiveAgent created Object 慾望 CognitiveAgent and entity 例 entity and Auctioning 患者 entity and Process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 39-45	例 AutonomousAgent and WebListing 例 WebSite and WebSite AutonomousAgent 是在 WebSite hosted AutonomousAgent created Human Human 是 seller 在 WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2078-2091	例 CorpuscularObject and ViewItemPage 例 Process and WebListing 零件 Process and CorpuscularObject 患者 Process and Entity 例 Entity and Physical Process Process and ProcessCONTENT 例 Process and Stating 患者 Process and Process 參照 Process and Entity 結果 Process and ProcessCONTENT 部分 ProcessCONTENT and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1257-1271	使用者 AutonomousAgent 在 WebSite 是 watching Collection 例 Process and WebListing 例 Entity and Object 患者 Process and Entity 會員 Process and Collection 模態屬性慾望 AutonomousAgent and entity 例 entity and Buying 患者 entity and Entity agent entity and AutonomousAgent and 容易
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 32-37	例 WebListing and WebListing WebSite 例 WebSite and WebSite WebListing 是在 WebSite hosted

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 299-303	attribute Object and Attribute 例 Attribute and ListingAttribute 例 Object and WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2483-2489	在列表中 Entity and List 例 List and SRPResults 例 Entity and WebListing 例 Entity and WebPage
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 992-1008	例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite Collection 例 Collection and Collection WebListing 例 WebListing and WebListing WebListing 是在 WebSite hosted AutonomousAgent sells WebListing 會員 WebListing and Collection 等於樣品對於 sale 由 AutonomousAgent 在 WebSite and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 139-143	例 Collection and WebListingCategory 會員 Physical and Collection 例 Physical and WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing 等於部基數 entity entity and entity 卡帕 entity and 例 entity and WebListing 例 entity and WebSite 例 entity and Physical 會員 entity and Collection 患者 entity and entity entity 是在 entity hosted entity 例 entity and Buying 患者 entity and entity entity facilitates entity and 基數 Collection and 在 Collection 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing SymbolicString entity, entity and SymbolicString 等於基數卡帕 SymbolicString and 例 entity and Physical 例 entity and WebListing 例 SymbolicString and Bidding 會員 entity and Collection SymbolicString 是個 bid 對於 entity 患者 entity and entity and 在 Collection 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2065-2076	例 CorpuscularObject and ViewItemPage 例 WebSite and WebSite 零件 CorpuscularObject and WebSite Entity WebListing 例 Entity and Object 例 WebListing and WebListing 零件 WebListing and CorpuscularObject WebListing 是在 WebSite hosted 患者 WebListing and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1251-1255	使用者 AutonomousAgent 在 WebSite 是 watching Collection 會員 Physical and Collection 例 Physical and WebListing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 240-255	例 Process and FinalValueFee WebListing FinancialTransaction, AutonomousAgent, Entity and WebSite 例 WebListing and WebListing 例 FinancialTransaction and Selling 例 AutonomousAgent and AutonomousAgent 例 Entity and Physical 例 WebListing and WebListing 患者 WebListing and Entity 患者 FinancialTransaction and Entity 原因 FinancialTransaction and Process agent Process and AutonomousAgent WebListing 是在 WebSite hosted 擁有 AutonomousAgent and WebSite AutonomousAgent facilitates FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 220-230	例 Process and InsertionFee Entity Process and AutonomousAgent 例 Entity and WebListing 例 Process and ListOnSite 例 AutonomousAgent and AutonomousAgent 患者 Process and Entity 原因 Process and Process agent Process and AutonomousAgent agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 209-218	例 Process and InsertionFee WebSite AutonomousAgent and WebListing 例 WebSite and WebSite 例 AutonomousAgent and AutonomousAgent 例 WebListing and WebListing WebListing 是在 WebSite hosted 擁有 AutonomousAgent and WebSite agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 266-286	例 TimeInterval and ListOnSite Object Entity, TimeInterval, TimeInterval and AutonomousAgent 例 Object and WebSite 例 Entity and WebListing 例 TimeInterval and TimeInterval 例 TimeInterval and TimeInterval 患者 TimeInterval and Entity 等於結束 TimeInterval and 結束 TimeInterval 早期 TimeInterval and TimeInterval 短暫相遇 TimeInterval and TimeInterval 持有期間 TimeInterval and Entity 是在 Object hosted 持有期間 TimeInterval and Entity 是在 Object hosted agent TimeInterval and AutonomousAgent 擁有 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 959-965	Human 是 seller 在 WebSite WebListing 例 WebListing and WebListing Human sells WebListing WebListing 是在 WebSite hosted

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

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