atTheMoney |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3031-3032 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3029-3029 | Le nombre 1 argument de atTheMoney est une instance de Option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3030-3030 | Le nombre 2 argument de atTheMoney est une instance de position temporel |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3028-3028 | atTheMoney est une instance de pr�dicat binaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 216-216 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 215-215 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 214-214 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8988-8988 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8987-8987 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8986-8986 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3034-3042 | FinancialInstrument FinancialInstrumentPrice and mesure de devise Agreement est une instance de Option underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and mesure de devise FinancialInstrumentPrice est mesure de devise atTheMoney Agreement and AutonomousAgent |