productPrice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - productPrice

productPrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 410-412
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 416-416	The number 2 argument of product price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 417-417	The number 3 argument of product price is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 415-415	The number 1 argument of product price is a subclass of entity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 409-409	product price is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4246-4246
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4245-4245
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4244-4244
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 413-413

antecedent

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 430-445	If a cognitive agent sells a kind of entity for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the price of a kind of entity from the cognitive agent according to a pricing scheme is another real number the unit of measure(s) and the pricing scheme is valid for a kind of agent and another entity is an instance of the kind of entity and a process is an instance of buying and another agent is an immediate instance of a kind of agent and the other agent is an agent of the process and the process originates at the cognitive agent and the other real number is less than the real number, then the statement the real number is a transaction amount of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 419-428	If a cognitive agent sells a kind of entity for a currency measure, then the statement if another entity is an instance of selling and a third entity is an immediate instance of a kind of entity and the third entity is a patient of the other entity and the cognitive agent is an agent of the other entity, then the currency measure is a transaction amount of the other entity has the modal force of likely

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