| Sheriff(sheriff)
| | sheriff |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20940-20940 | |
| 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 20939-20939 | Sheriff is a subattribute of police officer |
| 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 |
|
|
|