No TPTP formula. May not be expressible in strict first order. |
Military.kif 239-239 |
ConfederateSoldier est un sous-attribut de USCivilWarSoldier |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 241-241 |
UnionSoldier est un sous-attribut de USCivilWarSoldier |
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 |
|