No TPTP formula. May not be expressible in strict first order. | Merge.kif 10771-10771 | 司法程序 是 政治过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16120-16120 | 法律上诉 是 司法程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16223-16223 | 法律传票 是 司法程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10787-10787 | 法律决定 是 司法程序 的 subclass |