No TPTP formula. May not be expressible in strict first order. |
Law.kif 214-218 |
|
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 210-210 |
The number 2 argument of witness is an instance of entity |
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 |