No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2849-2853 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2846-2846 |
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 2847-2847 |
Le nombre 2 argument de says est une instance de formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2844-2844 |
says est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2843-2843 |
says est une instance de attitude propositionnelle |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2845-2845 |
says est une sous-relation de inScopeOfInterest |