listingSeller - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - listingSeller

listingSeller

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 52-55
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 49-49	域 listingSeller, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 47-47	例 listingSeller and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3782-3782
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3781-3781
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3780-3780
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 50-50

antecedent

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 70-74	Human sells WebListing WebListing 是在 WebSite hosted Human 是 seller 在 WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 61-68	CognitiveAgent sells WebListing 例 Entity and Object 患者 WebListing and Entity 慾望 CognitiveAgent and entity 患者 entity and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 57-59	AutonomousAgent sells AutonomousAgent AutonomousAgent created AutonomousAgent

consequent

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