transactionAmount |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 467-492 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30956-30971 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30923-30938 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30973-30987 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30940-30954 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1933-1943 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1912-1922 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1654-1675 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1872-1881 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 933-942 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2172-2177 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 742-750 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7742-7749 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 419-428 |