| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2848-2852 |
|
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2845-2845 |
Le nombre 1 argument de says est une instance de agent cognitif |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2846-2846 |
Le nombre 2 argument de says est une instance de formule |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2843-2843 |
says est une instance de pr�dicat binaire |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2842-2842 |
says est une instance de attitude propositionnelle |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2844-2844 |
says est une sous-relation de inScopeOfInterest |
says