No TPTP formula. May not be expressible in strict first order. |
Military.kif 436-436 |
USMilitaryRankE7 est un attribut successeur imm�diat de USMilitaryRankE8 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 445-445 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 443-443 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 447-447 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 446-446 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 444-444 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60940-60940 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60939-60939 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60938-60938 |
|