No TPTP formula. May not be expressible in strict first order. | Merge.kif 13182-13182 | 命令 是 指令g 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1657-1657 | 操作顺序 是 命令 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16222-16222 | 法律传票 是 命令 的 subclass |