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 | Human rights issues is a subattribute of humanitarian assistance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3030-3030 | Human rights issues is an organizational objective of council of europe |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3721-3721 | Human rights issues is an organizational objective of organization for security and cooperation in europe |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3980-3980 | Human rights issues is an organizational objective of united nations high commissioner for human rights |
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 |