PlacingAnOrder - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PlacingAnOrder

PlacingAnOrder(placing an order)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10211-10211
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1899-1899	Placing an order is a subclass of financial transaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45973-45973
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45972-45972
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45971-45971

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1920-1928	If a financial transaction is an instance of placing an order and the financial transaction is order for another kind of financial transaction for a security, then the financial transaction has the purpose there exists an entity such that the entity is an instance of another kind of financial transaction and the security is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1901-1908	If a physical is an instance of placing an order and the time of existence of the physical is equal to a time interval, then there exist another physical and another time interval such that the time of existence of the other physical is equal to the other time interval and the time interval meets the other time interval

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