No TPTP formula. May not be expressible in strict first order. |
Military.kif 371-371 |
USMilitaryRankE2 est un attribut successeur imm�diat de USMilitaryRankE3 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 379-379 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 380-380 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 378-378 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 382-382 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 381-381 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60910-60910 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60909-60909 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60908-60908 |
|