No TPTP formula. May not be expressible in strict first order. |
Military.kif 532-532 |
USMilitaryRankO5 e' um atributo sucessor immediato de USMilitaryRankO6 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 540-540 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 539-539 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 537-537 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 536-536 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 538-538 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60994-60994 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60993-60993 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60992-60992 |
|