WebSite - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 1489-1493
No TPTP formula. May not be expressible in strict first order.	Media.kif 1494-1494	子類 WebSite and 數字數據

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4676-4676	例 EBayWebSite and WebSite
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3295-3295	例 iBookstore and WebSite
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5600-5600	例 Othena and WebSite
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3098-3098	例 Reddit and WebSite
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2871-2871	子類 Blog and WebSite
No TPTP formula. May not be expressible in strict first order.	Media.kif 1512-1512	子類 SocialNetworkingSite and WebSite
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4610-4610	子類 Toutiao and WebSite
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2875-2875	子類 Wiki and WebSite
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4626-4626	子類 YouTube and WebSite
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65725-65725

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 983-983	域 SellersItemsFn, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1018-1018	域 SellersOtherItemsFn, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3366-3366	域 SiteWideNewBuyersFn, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3418-3418	域 SiteWideNewRegistrationsFn, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3465-3465	域 SiteWideNewSellersFn, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 627-627	域 accountAtSite, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 185-185	域 advertisedOn, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 734-734	域 browserID, 3 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 177-177	域 categoryOf, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 895-895	域 confirmedRegisteredUser, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1707-1707	域 eCommerceSite, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3517-3517	域 firstTimeBuyers, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3565-3565	域 firstTimeSellers, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1968-1968	域 homePage, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 119-119	域 hostedOn, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3613-3613	域 newRegisteredUsers, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 393-393	域 prohibitedItem, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 856-856	域 registeredUser, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2233-2233	域 siteCatalog, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1069-1069	域 underageUser, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2164-2164	域 userDatabase, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1165-1165	域 visitorParameter, 3 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1245-1245	域 watchingListings, 3 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 823-823	域 webPurchases, 3 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 917-917	域 webSales, 3 and WebSite

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

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 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 3376-3408	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection AutonomousAgent 會員 AutonomousAgent and Collection TimeInterval 例 AutonomousAgent and AutonomousAgent 例 TimeInterval and Buying agent TimeInterval and AutonomousAgent 儀器 TimeInterval and WebSite 期間 TimeInterval and TimeInterval TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and TimeInterval_BEFORE 例 TimeInterval_BEFORE and Buying agent TimeInterval_BEFORE and AutonomousAgent 儀器 TimeInterval_BEFORE and WebSite 期間 TimeInterval_BEFORE and TimeInterval 等於 new buyers 在 WebSite 其間 TimeInterval and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection Physical 例 Physical and Human TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and Physical 是 WebSite 的 registered user TimeInterval_DURING 例 TimeInterval_DURING and TimeInterval 期間 TimeInterval_DURING and TimeInterval 持有期間 TimeInterval and Physical 是 WebSite 的 registered user 會員 Physical and Collection 等於 Collection and new registrations 在 WebSite 期間 TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	例 TimeInterval and TimeInterval 例 WebSite and WebSite Collection 例 Collection and Collection AutonomousAgent 會員 AutonomousAgent and Collection TimeInterval 例 AutonomousAgent and AutonomousAgent 例 TimeInterval and Selling agent TimeInterval and AutonomousAgent 儀器 TimeInterval and WebSite 期間 TimeInterval and TimeInterval TimeInterval_BEFORE 例 TimeInterval_BEFORE and TimeInterval 早期 TimeInterval_BEFORE and TimeInterval 持有期間 TimeInterval_BEFORE and TimeInterval_BEFORE 例 TimeInterval_BEFORE and Selling agent TimeInterval_BEFORE and AutonomousAgent 儀器 TimeInterval_BEFORE and WebSite 期間 TimeInterval_BEFORE and TimeInterval 等於 new sellers 在 WebSite 期間 TimeInterval and Collection
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.	ComputerInput.kif 2830-2844	例 CorpuscularObject and DigitalPost 例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite 零件 CorpuscularObject and WebSite AutonomousAgent created CorpuscularObject AutonomousAgent 是 WebSite 的 registered user 有目的 CorpuscularObject and entity 例 entity and Disseminating agent entity and AutonomousAgent 患者 entity and CorpuscularObject 儀器 entity and WebSite
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 86-98	AutonomousAgent buys WebListing 例 Entity and Object 例 WebSite and WebSite 患者 WebListing and EntityECT WebListing 是在 WebSite hosted FinancialTransaction 例 FinancialTransaction and Buying 患者 FinancialTransaction and Entity WebSite facilitates FinancialTransaction agent FinancialTransaction and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Media.kif 1495-1500	例 CorpuscularObject and WebSite CorpuscularObject 例 CorpuscularObject and WebPage 零件 CorpuscularObject and CorpuscularObject

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	例 TimeInterval and AddToCart 例 Entity and Object 患者 TimeInterval and Entity agent TimeInterval and AutonomousAgent Collection WebSite, TimePosition and TimeInterval 例 Collection and Collection 例 WebSite and WebSite 例 TimeInterval and TimeInterval 使用者 AutonomousAgent 在 WebSite 有 cart Collection 等於開始 TimeInterval and 結束 TimeInterval 持有期間 TimePosition and 會員 Entity and Collection
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 1727-1746	例 Object and FinancialTransaction attribute Object and BusinessToBusiness 用戶帳號用戶帳號, AutonomousAgent, AutonomousAgent and WebSite 例用戶帳號 and 用戶帳號例用戶帳號 and 用戶帳號例 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite agent Object and AutonomousAgent 目的地 Object and AutonomousAgent 儀器 Object and WebSite AutonomousAgent 有 account 用戶帳號 AutonomousAgent 有 account 用戶帳號用戶帳號是在 WebSite 的 account 用戶帳號是在 WebSite 的 account attribute 用戶帳號 and BusinessAccount attribute 用戶帳號 and BusinessAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1759-1778	例 Object and FinancialTransaction attribute Object and BusinessToConsumer 用戶帳號用戶帳號, AutonomousAgent, AutonomousAgent and WebSite 例用戶帳號 and 用戶帳號例用戶帳號 and 用戶帳號例 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite agent Object and AutonomousAgent 目的地 Object and AutonomousAgent 儀器 Object and WebSite AutonomousAgent 有 account 用戶帳號 AutonomousAgent 有 account 用戶帳號用戶帳號是在 WebSite 的 account 用戶帳號是在 WebSite 的 account attribute 用戶帳號 and BusinessAccount attribute 用戶帳號 and ConsumerAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1791-1810	例 Object and FinancialTransaction attribute Object and ConsumerToConsumer 用戶帳號用戶帳號, AutonomousAgent, AutonomousAgent and WebSite 例用戶帳號 and 用戶帳號例用戶帳號 and 用戶帳號例 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite agent Object and AutonomousAgent 目的地 Object and AutonomousAgent 儀器 Object and WebSite AutonomousAgent 有 account 用戶帳號 AutonomousAgent 有 account 用戶帳號用戶帳號是在 WebSite 的 account 用戶帳號是在 WebSite 的 account attribute 用戶帳號 and ConsumerAccount attribute 用戶帳號 and ConsumerAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1605-1621	例 TimeInterval and WatchItem 例 Entity and Object 患者 TimeInterval and Entity agent TimeInterval and AutonomousAgent Collection WebSite, TimePosition and TimeInterval 例 Collection and Collection 例 WebSite and WebSite 例 TimeInterval and TimeInterval 使用者 AutonomousAgent 在 WebSite 是 watching Collection 等於開始 TimeInterval and 結束 TimeInterval 持有期間 TimePosition and 會員 Entity and Collection
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 32-37	例 WebListing and WebListing WebSite 例 WebSite and WebSite WebListing 是在 WebSite hosted
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1140-1151	例 Collection and VisitorProfile AutonomousAgent WebSite 例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite Formula 會員 Formula and Collection 例 Formula and Formula Formula 是 known 關於拜訪 WebSite 的 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2126-2131	例 CorpuscularObject and WebStore CorpuscularObject 例 CorpuscularObject and WebSite 零件 CorpuscularObject and CorpuscularObject

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

KB Term:			Term intersection

English Word: