OtherNonmetallicMineralMiningAndQuarrying
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3817-3817 | dateEstablished PermanentCourtOfArbitration and o dia 29 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3814-3814 | PermanentCourtOfArbitration e' uma instancia de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3818-3818 | organizationalObjective PermanentCourtOfArbitration and InternationalJustice |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3816-3816 | abbreviation "PCA" and PermanentCourtOfArbitration |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3815-3815 | conventionalLongName "Permanent Court of Arbitration" and PermanentCourtOfArbitration |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45234-45234 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45233-45233 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45232-45232 |