Prisoner
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 238-238 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2726-2726 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 237-237 | 例 囚犯 and SocialRole |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 299-299 | 子屬性 平民被拘禁者 and 囚犯 |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 253-253 | 子屬性 戰俘 and 囚犯 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47426-47426 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47425-47425 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47424-47424 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 242-250 |
|