PublicHealthConcern |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8667-8667 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9570-9570 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2701-2701 | PublicHealthConcern est une instance de AreaOfConcern |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2679-2679 | PublicHealthConcern est un sous-attribut de SocialDevelopment |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3710-3710 | organizationalObjective OrganizationOfAfricanUnity and PublicHealthConcern |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4315-4315 | organizationalObjective WorldHealthOrganization and PublicHealthConcern |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2702-2702 | ChildHealthServices est un sous-attribut de PublicHealthConcern |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2705-2705 | ImproveHumanSettlementConditions est un sous-attribut de PublicHealthConcern |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2703-2703 | ReproductiveHealthAndFamilyPlannning est un sous-attribut de PublicHealthConcern |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47980-47980 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47979-47979 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47978-47978 |