No TPTP formula. May not be expressible in strict first order. |
Military.kif 512-512 |
USMilitaryRankO3 e' um atributo sucessor immediato de USMilitaryRankO4 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 520-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 519-519 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 517-517 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 516-516 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 518-518 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60980-60980 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60979-60979 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60978-60978 |
|