No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20945-20945 |
Deputy est un sous-attribut de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20941-20941 |
Marshal est un sous-attribut de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20932-20932 |
PoliceCaptain est un sous-attribut de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20955-20955 |
PoliceDetective est un sous-attribut de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20935-20935 |
PoliceSergeant est un sous-attribut de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20938-20938 |
Sheriff est un sous-attribut de PoliceOfficer |
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 |
|