TreeView Knowledge Base Browser - reservePrice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - reservePrice

reservePrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 412-413
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 409-409	The number 1 argument of reserve Price is an instance of auctioning
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 410-410	The number 2 argument of reserve Price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 407-407	reserve Price is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4414-4414
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4413-4413
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4412-4412
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 408-408

antecedent

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

UXExperimentalTerms.kif 415-423

If an unit of measure is an instance of unit of currency and the reserve price of an auctioning is a real number the unit of measure(s) and the auctioning ends up at an agent,
then there exist another real number and an object such that the agent bids the other real number the unit of measure(s) for the object and the other real number is greater than the real number

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