Soldier(soldier) |
No TPTP formula. May not be expressible in strict first order. | Military.kif 597-597 | US military rank special is a subattribute of soldier |
No TPTP formula. May not be expressible in strict first order. | Military.kif 628-628 | US military rankW o1 is a subattribute of soldier |
No TPTP formula. May not be expressible in strict first order. | Military.kif 638-638 | US military rankW o2 is a subattribute of soldier |
No TPTP formula. May not be expressible in strict first order. | Military.kif 648-648 | US military rankW o3 is a subattribute of soldier |
No TPTP formula. May not be expressible in strict first order. | Military.kif 658-658 | US military rankW o4 is a subattribute of soldier |
No TPTP formula. May not be expressible in strict first order. | Military.kif 668-668 | US military rankW o5 is a subattribute of soldier |
No TPTP formula. May not be expressible in strict first order. | Military.kif 231-231 | US revolutionary war soldier is a subattribute of soldier |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53858-53858 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53857-53857 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53856-53856 |