|
|
  AgencyForTheFrenchSpeakingCommunity
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2771-2771 | dateEstablished AgencyForTheFrenchSpeakingCommunity and o dia 20 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2761-2761 | AgencyForTheFrenchSpeakingCommunity e' uma instancia de OrganizationOfNations |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2763-2763 | abbreviation "ACCT" and AgencyForTheFrenchSpeakingCommunity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2762-2762 | conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2764-2764 | formerName "Agency for Cultural and Technical Cooperation" and AgencyForTheFrenchSpeakingCommunity |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5814-5814 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5813-5813 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5812-5812 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2765-2769 | Posicao Temporal e' uma instancia de o ano 1996 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity vale durante imediatemente apos Posicao Temporal |
|
|
|