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 | 被告 的 1 数量 是 法律诉讼 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16264-16264 | 被告 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16266-16266 | 被告 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16265-16265 | 被告 是 受事 的 subrelation |
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 |
|