TreeView Knowledge Base Browser - PlacingAnOrder

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 10190-10190
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1950-1950	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 45990-45990
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45989-45989
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45988-45988

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1971-1979	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 1952-1959	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 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