No TPTP formula. May not be expressible in strict first order. |
Law.kif 213-217 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 209-209 |
Le nombre 1 argument de witness est une instance de action l�gale |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 207-207 |
witness est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 208-208 |
witness est une sous-relation de patient |