No TPTP formula. May not be expressible in strict first order. |
Military.kif 542-542 |
USMilitaryRankO6 e' um atributo sucessor immediato de USMilitaryRankO7 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 550-550 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 546-546 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 551-551 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 548-548 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 547-547 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 549-549 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 553-553 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 552-552 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60998-60998 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60997-60997 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60996-60996 |
|