|
|
  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 |
|
|
|
