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 |