No TPTP formula. May not be expressible in strict first order. |
Military.kif 384-384 |
USMilitaryRankE3 e' um atributo sucessor immediato de USMilitaryRankE4 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 393-393 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 395-395 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 394-394 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 392-392 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 391-391 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60914-60914 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60913-60913 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60912-60912 |
|