No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20946-20946 |
Deputy est un sous-attribut de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20942-20942 |
Marshal est un sous-attribut de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20933-20933 |
PoliceCaptain est un sous-attribut de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20956-20956 |
PoliceDetective est un sous-attribut de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20936-20936 |
PoliceSergeant est un sous-attribut de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20939-20939 |
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 |
|