| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10771-10771 | 子類 司法程序 and PoliticalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16120-16120 | 子類 法律上訴 and 司法程序 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16223-16223 | 子類 法律傳票 and 司法程序 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10787-10787 | 子類 法律決定 and 司法程序 |
|
|