No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 90-90 | Check is a subclass of financial instrument |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 168-168 | Pay check is a subclass of check |