| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10809-10809 | 子類 法律決定 and 司法程序 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10810-10810 | 子類 法律決定 and Declaring |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16195-16195 | 子類 法律獎勵 and 法律決定 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16213-16213 | 子類 法律定罪 and 法律決定 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16217-16217 | 子類 法律解僱 and 法律決定 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16240-16240 | 子類 合法無罪釋放 and 法律決定 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16244-16244 | 子類 宣判 and 法律決定 |
|
|