No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20946-20946 |
Deputy is a subattribute of police officer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20942-20942 |
Marshal is a subattribute of police officer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20933-20933 |
Police captain is a subattribute of police officer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20956-20956 |
Police detective is a subattribute of police officer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20936-20936 |
Police sergeant is a subattribute of police officer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20939-20939 |
Sheriff is a subattribute of police officer |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46416-46416 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46415-46415 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46414-46414 |
|