TreeView Knowledge Base Browser - listingBidder

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - listingBidder

listingBidder

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 105-107
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 102-102	域 listingBidder, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 100-100	例 listingBidder and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3774-3774
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3773-3773
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3772-3772
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 103-103

antecedent

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

UXExperimentalTerms.kif 109-115

AutonomousAgent 對 WebListing bids 例 Object and Object 患者 WebListing and Object
CurrencyMeasure AutonomousAgent bids CurrencyMeasure 對於 Object

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