defendant |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16261-16262 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16263-16263 | 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 16264-16264 | 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 16266-16266 | defendant is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16265-16265 | 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 14149-14163 |
|