No TPTP formula. May not be expressible in strict first order. | Merge.kif 11880-11880 | Transacao Financeira e' uma sub-classe de Transacao |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1909-1909 | TransactionCollection e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1936-1936 | Vending e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20526-20526 | Working e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22473-22473 | Renting e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11918-11918 | CommercialService e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11930-11930 | Aposta e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11936-11936 | Comprar e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11947-11947 | Vender e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 290-290 | OpeningAnAccount e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 308-308 | UsingAnAccount e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 353-353 | ControllingAnAccount e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 388-388 | ClosingAnAccount e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 403-403 | Payment e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 426-426 | Deposit e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 455-455 | Withdrawal e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 483-483 | Investing e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 507-507 | AutomaticTransaction e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 890-890 | ChargingAFee e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1424-1424 | Call e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1445-1445 | Refinancing e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1799-1799 | AssetAllocation e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1950-1950 | PlacingAnOrder e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2069-2069 | Liquidation e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2146-2146 | FinancialDefault e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2220-2220 | StockSplit e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2749-2749 | ExerciseAnOption e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2829-2829 | FillingAnOrder e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2833-2833 | CancellingAnOrder e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3079-3079 | OptionStrategy e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3179-3179 | ShortSale e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3191-3191 | StockMarketTransaction e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3420-3420 | Rollover e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3976-3976 | FinancialRequest e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3980-3980 | FinancialResponse e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4125-4125 | ExternalTransfer e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4138-4138 | InternalTransfer e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4152-4152 | Update e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2396-2396 | Exporting e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 284-284 | MuakharSadaq e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 304-304 | MuqaddamSadaq e' uma sub-classe de Transacao Financeira |