| PoliceCaptain(警察隊長) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20933-20933 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20932-20932 | 子屬性 警察隊長 and 警官 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46398-46398 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46397-46397 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46396-46396 |
|
|
|