defendant |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17648-17649 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17650-17650 | The number 1 argument of defendant is an instance of legal action |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17651-17651 | The number 2 argument of defendant is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17653-17653 | defendant is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17652-17652 | defendant is a subrelation of patient |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3214-3214 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3213-3213 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3212-3212 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18903-18903 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18902-18902 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18901-18901 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Law.kif 300-311 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 324-334 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15520-15534 |
|
![]() |
![]() |