eCommerceSite - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - eCommerceSite

eCommerceSite

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1713-1714
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1705-1705	域 eCommerceSite, 1 and FinancialTransaction
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 1703-1703	例 eCommerceSite and CaseRole
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1711-1711	子關係 eCommerceSite and broker
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1709-1709	子關係 eCommerceSite and 儀器

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3294-3294
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3293-3293
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3292-3292
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65816-65816

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3534-3543	Collection 是在 WebSite 的 first time buyers 在其間 TimeInterval 會員 AutonomousAgent and Collection FinancialTransaction 例 FinancialTransaction and Buying agent FinancialTransaction and AutonomousAgent WebSite facilitates FinancialTransaction 期間何時 FinancialTransaction and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3545-3555	Collection 是在 WebSite 的 first time buyers 在其間 TimeInterval 會員 AutonomousAgent and Collection FinancialTransaction 例 FinancialTransaction and Buying agent FinancialTransaction and AutonomousAgent WebSite facilitates FinancialTransaction 早期何時 FinancialTransaction and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3582-3591	Collection 是在 WebSite 的 first time sellers 在其間 TimeInterval 會員 AutonomousAgent and Collection FinancialTransaction 例 FinancialTransaction and Selling agent FinancialTransaction and AutonomousAgent WebSite facilitates FinancialTransaction 期間何時 FinancialTransaction and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3593-3603	Collection 是在 WebSite 的 first time sellers 在其間 TimeInterval 會員 AutonomousAgent and Collection FinancialTransaction 例 FinancialTransaction and Selling agent FinancialTransaction and AutonomousAgent WebSite facilitates FinancialTransaction 早期何時 FinancialTransaction and TimeInterval
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 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.	UXExperimentalTerms.kif 839-846	使用者 Human 在 WebSite 已 bought Collection 會員 FinancialTransaction and Collection 例 FinancialTransaction and Buying agent FinancialTransaction and Human WebSite facilitates FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 934-941	使用者 Human 在 WebSite 已 sold Collection 會員 FinancialTransaction and Collection 例 FinancialTransaction and Selling agent FinancialTransaction and Human WebSite facilitates FinancialTransaction
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 398-405	Object 是 prohibited 販賣在 WebSite 模態屬性 entity 例 entity and Selling WebSite facilitates entity and 禁令
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2242-2259	數據庫是 catalog 對於 WebSite Object Collection and SymbolicString 例 Collection and Collection 部分 Object and 數據庫代表 Object and Collection Object 會員 Object and Collection 例 Object and Physical 能力卡帕 SymbolicString and 例 SymbolicString and Buying WebSite facilitates SymbolicString , 患者 and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 829-837	使用者 Human 在 WebSite 已 bought Collection FinancialTransaction 例 FinancialTransaction and Buying agent FinancialTransaction and Human WebSite facilitates FinancialTransaction 會員 FinancialTransaction and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 924-932	使用者 Human 在 WebSite 已 sold Collection FinancialTransaction 例 FinancialTransaction and Selling agent FinancialTransaction and Human WebSite facilitates FinancialTransaction 會員 FinancialTransaction and Collection

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