No TPTP formula. May not be expressible in strict first order. |
Military.kif 502-502 |
USMilitaryRankO2 e' um atributo sucessor immediato de USMilitaryRankO3 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 507-507 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 506-506 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 508-508 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 510-510 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 509-509 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60974-60974 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60973-60973 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60972-60972 |
|