| 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 47428-47428 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47427-47427 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47426-47426 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 242-250 |
|
|
|
|