InternationalHydrographicOrganization
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3535-3535 | The month June is a date established of international hydrographic organization |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7116-7116 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3537-3537 | International hydrographic organization is interested in world ocean |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3531-3531 | International hydrographic organization is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3536-3536 | Information standards is an organizational objective of international hydrographic organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3536-3536 | Scientific cooperation is an organizational objective of international hydrographic organization |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3533-3533 | "IHO" is an abbreviation of international hydrographic organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3532-3532 | International hydrographic organization is a conventional long name of "International Hydrographic Organization" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3534-3534 | "International Hydrographic Bureau" is a former name for international hydrographic organization |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30607-30607 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30606-30606 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30605-30605 |