| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10787-10787 | 法律决定 是 司法程序 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10788-10788 | 法律决定 是 声明 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16196-16196 | 法律奖励 是 法律决定 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16214-16214 | 法律定罪 是 法律决定 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16218-16218 | 法律解雇 是 法律决定 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16241-16241 | 合法无罪释放 是 法律决定 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16245-16245 | 宣判 是 法律决定 的 subclass |
|
|