MedicalEquipmentAndSuppliesManufacturing GroupOf10
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3287-3287 | The month October is a date established of group of10 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3290-3293 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3283-3283 | Group of10 is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3288-3288 | Coordinate credit policy is an organizational objective of group of10 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3285-3285 | "G-10" is an abbreviation of group of10 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3284-3284 | Group of10 is a conventional long name of "Group of 10" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3286-3286 | Group of10 is a conventional long name of "Paris Club" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26742-26742 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26741-26741 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26740-26740 |