No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3540-3541 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3538-3538 |
Le nombre 1 argument de pin est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3539-3539 |
Le nombre 2 argument de pin est une instance de BankCard |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3536-3536 |
pin est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3537-3537 |
pin est une sous-relation de represents |