|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3079-3079 | Option strategy is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 403-403 | Payment is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1950-1950 | Placing an order is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1445-1445 | Refinancing is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22421-22421 | Renting is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3420-3420 | Rollover is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11901-11901 | Selling is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3179-3179 | Short sale is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3191-3191 | Stock market transaction is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2220-2220 | Stock split is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1909-1909 | Collection of transactions is a subclass of financial transaction |
| 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 308-308 | Using an account is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1943-1943 | Vending is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 455-455 | Withdrawal is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20499-20499 | Working is a subclass of financial transaction |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1140-1140 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1497-1497 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 818-818 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 350-350 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 353-353 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2502-2502 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 770-770 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 389-389 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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