negotiatedPrice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - negotiatedPrice

negotiatedPrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 266-268
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 270-270	The number 2 argument of negotiated price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 271-271	The number 3 argument of negotiated price is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 269-269	The number 1 argument of negotiated price is a subclass of physical
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 265-265	negotiated 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 3964-3964
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3963-3963
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3962-3962
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65925-65925

antecedent

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 311-324	If the price negotiated for a kind of physical in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then the cognitive agent has the responsibility to make there exist an entity and another entity such that the entity is an instance of buying and the other entity is a patient of the entity and the other entity is an immediate instance of a kind of physical and the other cognitive agent is an agent of the entity and the entity originates at the cognitive agent and the currency measure is a transaction amount of the entity obligation in the agreement
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 276-289	If the price negotiated for a kind of physical in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then the statement there exist an entity and another entity such that the entity is an instance of selling and the other entity is a patient of the entity and the other entity is an immediate instance of a kind of physical and the cognitive agent is an agent of the entity and the entity ends up at the other cognitive agent and the currency measure is a transaction amount of the entity has the modal force of promise

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