HumanRightsIssues - Sigma Knowledge base Browser

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	子屬性人權問題 and 人道主義援助

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3030-3030	人權問題是歐洲理事會的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3721-3721	人權問題是歐洲安全與合作組織的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3980-3980	人權問題是聯合國人權事務高級專員的 organizational 目標
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