| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13204-13204 | 子類 Ordering and Directing |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1657-1657 | 子類 操作順序 and Ordering |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16221-16221 | 子類 法律傳票 and Ordering |
|
|