|
|
  LateralRecumbant
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 306-306 | 非委任军官级别 分拆成不相交的 初级NCO排名 和 高级NCO排名 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 300-305 | |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 299-299 | 非委任军官级别 是 士兵军衔 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 308-308 | 初级NCO排名 是 非委任军官级别 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 311-311 | 高级NCO排名 是 非委任军官级别 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40707-40707 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40706-40706 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40705-40705 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 269-269 | 士兵军衔 分拆成不相交的 私人排名 和 非委任军官级别 |
|
|
|