Sheriff(郡治安官) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20939-20939 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 725-725 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20938-20938 | 子屬性 郡治安官 and 警官 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52533-52533 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52532-52532 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52531-52531 |