No TPTP formula. May not be expressible in strict first order. |
Law.kif 173-175 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 177-177 |
Le nombre 1 argument de evidence est une instance de action l�gale |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 178-178 |
Le nombre 2 argument de evidence est une instance de physique |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 169-169 |
evidence est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 168-168 |
evidence est une sous-relation de patient |