financialResponseTo |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3986-3987 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3984-3984 | Le nombre 1 argument de financialResponseTo est une instance de FinancialResponse |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3985-3985 | Le nombre 2 argument de financialResponseTo est une instance de FinancialRequest |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3983-3983 | financialResponseTo 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 1007-1007 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1006-1006 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1005-1005 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23810-23810 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23809-23809 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23808-23808 |
![]() |
![]() |