FillingAnOrder(filling an order) | ![]() | Wall_Street, market, securities_industry, the_City, the_Street |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2847-2848 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2846-2846 | Filling 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 23677-23677 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23676-23676 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23675-23675 |
consequent |
![]() |
![]() |
![]() |