No TPTP formula. May not be expressible in strict first order. |
Military.kif 423-423 |
USMilitaryRankE6 e' um atributo sucessor immediato de USMilitaryRankE7 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 434-434 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 433-433 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 432-432 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 431-431 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 430-430 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60934-60934 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60933-60933 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60932-60932 |
|