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 10188-10188
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1967-1967	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 45992-45992
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45991-45991
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45990-45990

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1988-1996	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 1969-1976	If a physical is an instance of placing an order and equal the time of existence of the physical and a time interval, then there exist another physical and another time interval such that equal the time of existence of the other physical and 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