No TPTP formula. May not be expressible in strict first order. |
Military.kif 594-594 |
USMilitaryRankO10 est un attribut successeur imm�diat de USMilitaryRankSpecial |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 603-603 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 602-602 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 601-601 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 600-600 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 599-599 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 598-598 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61018-61018 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61017-61017 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61016-61016 |
|