defendant |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16260-16261 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16262-16262 | 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 16263-16263 | 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 16265-16265 | defendant is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16264-16264 | defendant is a subrelation of patient |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3218-3218 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3217-3217 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3216-3216 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18894-18894 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18893-18893 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18892-18892 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Law.kif 295-306 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 318-328 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14148-14162 |
|
![]() |
![]() |