No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20973-20973 |
Deputy e' um sub-atributo de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20969-20969 |
Marshal e' um sub-atributo de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20960-20960 |
PoliceCaptain e' um sub-atributo de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20983-20983 |
PoliceDetective e' um sub-atributo de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20963-20963 |
PoliceSergeant e' um sub-atributo de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20966-20966 |
Sheriff e' um sub-atributo de PoliceOfficer |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46418-46418 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46417-46417 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46416-46416 |
|