| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13199-13199 | 指令g 是 语言交流 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13204-13204 | 命令 是 指令g 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13216-13216 | 要求 是 指令g 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13230-13230 | 询问 是 指令g 的 subclass |
|
|