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 |
The number 1 argument of witness is an instance of legal action |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 207-207 |
witness is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 208-208 |
witness is a subrelation of patient |