LegalAction
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3299-3300 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13382-13383 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13381-13381 | 法律诉讼 是 比赛 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16108-16108 | 法律费用 是 法律诉讼 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23471-23471 | 被捕 是 法律诉讼 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1214-1214 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1649-1649 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 892-892 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 425-425 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 428-428 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2576-2576 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 844-844 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 430-430 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 464-464 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 913-913 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 429-429 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Law.kif 445-445 | attorney 的 1 数量 是 法律诉讼 的 instance |
No TPTP formula. May not be expressible in strict first order. | Law.kif 459-459 | counselInCase 的 3 数量 是 法律诉讼 的 instance |
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. | Law.kif 282-282 | defenseLawyer 的 1 数量 是 法律诉讼 的 instance |
No TPTP formula. May not be expressible in strict first order. | Law.kif 177-177 | evidence 的 1 数量 是 法律诉讼 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16270-16270 | 原告 的 1 数量 是 法律诉讼 的 instance |
No TPTP formula. May not be expressible in strict first order. | Law.kif 310-310 | prosecutor 的 1 数量 是 法律诉讼 的 instance |
No TPTP formula. May not be expressible in strict first order. | Law.kif 209-209 | witness 的 1 数量 是 法律诉讼 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16200-16212 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 887-892 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1601-1607 | LegalAgent 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 那个 实体 能够担当 主事 的角色做 法律诉讼 或 那个 实体 能够担当 受事 的角色做 法律诉讼 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14149-14163 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10794-10799 |