No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 333-333 |
战斗指挥官 是 军事指挥官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 894-894 |
导演.JS 是 军事指挥官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 357-357 |
联合部队空军司令 是 军事指挥官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 345-345 |
联合部队指挥官 是 军事指挥官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 379-379 |
联合部队陆军指挥官 是 军事指挥官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 401-401 |
联合部队海上指挥官 是 军事指挥官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 433-433 |
联合部队特种作战指挥官 是 军事指挥官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 337-337 |
联合特遣部队指挥官 是 军事指挥官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 468-468 |
主席 是 军事指挥官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 455-455 |
国防部长 是 军事指挥官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 339-339 |
服务主管 是 军事指挥官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 335-335 |
统一指挥官 是 军事指挥官 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37565-37565 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37564-37564 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37563-37563 |
|