No TPTP formula. May not be expressible in strict first order. |
Military.kif 555-555 |
USMilitaryRankO7 e' um atributo sucessor immediato de USMilitaryRankO8 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 561-561 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 559-559 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 562-562 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 564-564 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 563-563 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 565-565 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 560-560 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 566-566 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61004-61004 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61003-61003 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61002-61002 |
|