| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4152-4152 | Update is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4153-4153 | Update is a subclass of content development |
|
|