|
|
  HumanRightsIssues
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8529-8529 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9313-9313 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9314-9314 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9316-9316 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2731-2731 | HumanRightsIssues est un sous-attribut de HumanitarianAssistance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3030-3030 | organizationalObjective CouncilOfEurope and HumanRightsIssues |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3721-3721 | organizationalObjective OrganizationForSecurityAndCooperationInEurope and HumanRightsIssues |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3980-3980 | organizationalObjective UnitedNationsHighCommissionerForHumanRights and HumanRightsIssues |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28887-28887 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28886-28886 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28885-28885 |
|
|
|
