FinancialTransaction
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3095-3096 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11858-11860 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1866-1867 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11856-11856 | Transacao Financeira e' uma sub-classe de Transacao |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20488-20488 | Os valores retornados por OccupationFn sao as sub-classes 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 507-507 | AutomaticTransaction e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11906-11906 | Aposta e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11912-11912 | Comprar 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 2833-2833 | CancellingAnOrder 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 388-388 | ClosingAnAccount e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11894-11894 | CommercialService 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 426-426 | Deposit 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. | Economy.kif 2396-2396 | Exporting 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 2829-2829 | FillingAnOrder 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 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 4138-4138 | InternalTransfer 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 2069-2069 | Liquidation 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 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 290-290 | OpeningAnAccount e' uma sub-classe de Transacao Financeira |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1685-1685 | O argumento numero 1 de broker e' uma instancia de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3879-3879 | O argumento numero 1 de confirmationNumber e' uma instancia de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1705-1705 | O argumento numero 1 de eCommerceSite e' uma instancia de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7203-7203 | O argumento numero 1 de loss e' uma instancia de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1965-1965 | O argumento numero 1 de orderFor e' uma instancia de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7601-7601 | O argumento numero 1 de profit e' uma instancia de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 895-895 | O argumento numero 2 de serviceFee e' uma instancia de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11872-11872 | O argumento numero 1 de transactionAmount e' uma instancia de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3991-3991 | O argumento numero 2 de dailyLimit e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 680-680 | O argumento numero 2 de minimumBalance e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20496-20496 | O argumento numero 2 de occupation e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1966-1966 | O argumento numero 2 de orderFor e' uma sub-classe de Transacao Financeira |
antecedent |
consequent |