No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21004-21004 |
AttorneyGeneral est un sous-attribut de Attorney |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21011-21011 |
PublicDefender est un sous-attribut de Attorney |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21016-21016 |
PublicProsecutor est un sous-attribut de Attorney |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9000-9000 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8999-8999 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8998-8998 |
|