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 | 域 被告, 1 and LegalAction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16263-16263 | 域 被告, 2 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16265-16265 | 例 被告 and CaseRole |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16264-16264 | 子關係 被告 and 患者 |
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 |
|