| JudicialProcess(司法程序)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2961-2963 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10661-10666 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5038-5038 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4916-4916 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10659-10659 | 司法程序 是 政治过程 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15565-15565 | 法律上诉 是 司法程序 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10675-10675 | 法律决定 是 司法程序 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15664-15664 | 法律传票 是 司法程序 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31848-31848 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31847-31847 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31846-31846 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10668-10673 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15617-15622 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15573-15578 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15606-15611 |
|
|
|