No TPTP formula. May not be expressible in strict first order. |
Military.kif 239-239 |
Confederate soldier is a subattribute of US civil war soldier |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 241-241 |
Union soldier is a subattribute of US civil war soldier |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60808-60808 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60807-60807 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60806-60806 |
|