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


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