|
|
  OrganizationForTheProhibitionOfChemicalWeapons
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3692-3692 | dateEstablished OrganizationForTheProhibitionOfChemicalWeapons and le jour 29 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3689-3689 | OrganizationForTheProhibitionOfChemicalWeapons est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3693-3693 | organizationalObjective OrganizationForTheProhibitionOfChemicalWeapons and EliminateChemicalWeapons |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3691-3691 | abbreviation "OPCW" and OrganizationForTheProhibitionOfChemicalWeapons |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3690-3690 | conventionalLongName "Organization for the Prohibition of Chemical Weapons" and OrganizationForTheProhibitionOfChemicalWeapons |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42518-42518 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42517-42517 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42516-42516 |
|
|
|