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